Proof PR

misc/scripts: remove Darwin cpp wrapper #2607

Triggered via pull request October 9, 2023 21:56

lsf37

opened #677

Status Success

Total duration 2h 9m 8s

Artifacts 5

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

proof.yml

on: pull_request_target

Matrix: All

Produced during runtime