Skip to content
ClusterFuzzLite PR fuzzing

fix(proof): require real proof rejection and valid Coq submissions #534

Sign in to view logs

fix(proof): require real proof rejection and valid Coq submissions

fix(proof): require real proof rejection and valid Coq submissions #534

Run time

Learn about OS pricing on GitHub Actions
Job Run time
PR (address)
12m 1s
12m 1s