Skip to content
🚀 Manual Benchmark

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

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 #498

Triggered via issue October 11, 2024 13:44
@zliu41zliu41
commented on #5669 69abbd9
Status Skipped
Total duration 2s
Artifacts –

manual-benchmark.yml

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