build(deps): Bump json from 2.19.3 to 2.19.9 in /site - #204
Open
dependabot[bot] wants to merge 1 commit into
Open
build(deps): Bump json from 2.19.3 to 2.19.9 in /site#204dependabot[bot] wants to merge 1 commit into
dependabot[bot] wants to merge 1 commit into
Annotations
10 errors and 1 notice
|
Enforce axiom and sorry count invariants
TauLib/BookIII/Bridge/G8FullRHSpineAxiomLedger.lean:20
|
|
Enforce axiom and sorry count invariants
TauLib/BookIII/Bridge/G8FineRHSpineAxiomLedger.lean:227
|
|
Enforce axiom and sorry count invariants
TauLib/BookIII/Bridge/G8FineRHSpineAxiomLedger.lean:139
|
|
Enforce axiom and sorry count invariants
TauLib/BookIII/Bridge/G8FineRHSpineAxiomLedger.lean:114
|
|
Enforce axiom and sorry count invariants
TauLib/BookIII/Bridge/BridgeAxiom.lean:56
|
|
Enforce axiom and sorry count invariants
Current axioms:
|
|
Enforce axiom and sorry count invariants
AND README.md.
|
|
Enforce axiom and sorry count invariants
in .github/workflows/lean-build.yml AND the paper (§7 + Appendix C)
|
|
Enforce axiom and sorry count invariants
If this is an intentional change, update EXPECTED_AXIOMS
|
|
Enforce axiom and sorry count invariants
Axiom count drift: expected 3, got 8.
|
|
Enforce axiom and sorry count invariants
Sorry budget headroom: 200. Consider ratcheting --max-sorry down to 0 once stable.
|
background
wait
wait-all
cancel
parallel
Loading