Skip to content
Spec tests

Fix(prover): fix issues blocking Rust std program verification #190

Sign in to view logs

Fix(prover): fix issues blocking Rust std program verification

Fix(prover): fix issues blocking Rust std program verification #190

Triggered via pull request April 20, 2026 14:14
@ColoCarlettiColoCarletti
opened #511
fix/prover-bus-bugs
Status Success
Total duration 15s
Artifacts –

pr_spec.yaml

on: pull_request
Spec structure test
9s
Spec structure test
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Spec structure test
The `python-version` input is not set. The version of Python currently in `PATH` will be used.