Skip to content
Benchmark

Implement dumping a compilation trace of the pir-pir pipeline for the Coq certifier #6459

Sign in to view logs

Implement dumping a compilation trace of the pir-pir pipeline for the Coq certifier

Implement dumping a compilation trace of the pir-pir pipeline for the Coq certifier #6459

Triggered via issue January 9, 2024 22:12
@jaccokrijnenjaccokrijnen
commented on #5669 eaa817b
Status Skipped
Total duration 3s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

benchmark.yml

on: issue_comment
benchmark
0s
benchmark
Fit to window
Zoom out
Zoom in