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

Triggered via pull request September 22, 2026 23:04
@coderabbitaicoderabbitai[bot]
synchronize #165
fix/125-lean-axiom-preconditions
Status Success
Total duration 6m 37s
Artifacts –

cflite_pr.yml

on: pull_request
Matrix: PR
Fit to window
Zoom out
Zoom in

Annotations

1 notice
PR (address)
"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"