Skip to content
ClusterFuzzLite PR fuzzing

fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job #179

Sign in to view logs

fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job

fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job #179

Run time

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