Skip to content

feat: update boogie opt for some specs #14

feat: update boogie opt for some specs

feat: update boogie opt for some specs #14

Triggered via push December 5, 2025 22:06
Status Failure
Total duration 58s
Artifacts

prover.yml

on: push
build-and-run
39s
build-and-run
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-and-run
Process completed with exit code 1.