fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job #338
Triggered via pull request
September 22, 2026 23:04
coderabbitai[bot]
Status
Success
Total duration
2m 52s
Artifacts
–
Annotations
2 notices
|
analyze (actions, none)
"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"
|
|
analyze (rust, none)
"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"
|