Skip to content
Language Policy Enforcement

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

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 #423

Triggered via pull request September 22, 2026 22:28
@hyperpolymathhyperpolymath
synchronize #165
fix/125-lean-axiom-preconditions
Status Success
Total duration 10s
Artifacts –

language-policy.yml

on: pull_request
check
4s
check
Fit to window
Zoom out
Zoom in

Annotations

1 notice
check
"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"