Skip to content

Prove-and-retire prover (Approach 1), per-table and batched #2578

Prove-and-retire prover (Approach 1), per-table and batched

Prove-and-retire prover (Approach 1), per-table and batched #2578

Triggered via pull request September 21, 2026 20:04
Status Success
Total duration 16s
Artifacts –

pr_spec.yaml

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

Annotations

1 warning and 1 notice
Spec structure test
The `python-version` input is not set. The version of Python currently in `PATH` will be used.
Spec structure test
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"