Mirror to Git Forges

318 workflow runs

transactions: check the lifecycle invariant at load (T-12); one Agda …
failed at startup:
Mirror to Git Forges#318:Commit989a747pushedbyhyperpolymath
main
Nov 10, 2026Startup failure
docs(maa): restate RMR two-sided, mark MAA draft expired; defer the u…
failed at startup:
Mirror to Git Forges#317:Commitb6a1efcpushedbyhyperpolymath
main
Nov 10, 2026Startup failure
proofs: a token may start after a skipped literal in the postulate sc…
failed at startup:
Mirror to Git Forges#316:Commite165438pushedbyhyperpolymath
main
Nov 10, 2026Startup failure
proofs: ledger repairs, PWG census, T-1 recheck legs (PWG-2ii), T-2/T…
failed at startup:
Mirror to Git Forges#315:Commit0834ce7pushedbyhyperpolymath
main
Nov 9, 2026Startup failure
proofs: record theory grades as PROOF-POLICY §8 PWG; scan the import …
failed at startup:
Mirror to Git Forges#314:Commit05ade78pushedbyhyperpolymath
main
Nov 9, 2026Startup failure
fix(metadata): a failed save leaves the operation log unchanged (T-8)…
failed at startup:
Mirror to Git Forges#313:Commit23bc8c3pushedbyhyperpolymath
main
Nov 5, 2026Startup failure
ci: re-pin standards callers to metadatastician/standards@a797d30; re…
failed at startup:
Mirror to Git Forges#312:Commit6cb7d36pushedbyhyperpolymath
main
Nov 5, 2026Startup failure
chore(deps): Bump hyperpolymath/cicd-squabbler/.github/actions/squabb…
failed:
Mirror to Git Forges#311:Commit4b0ec96pushedbyhyperpolymath
main
Nov 5, 2026Failure
Identity from code, proof grades under mathesis, and the epistemic pr…
failed:
Mirror to Git Forges#310:Commitfc188c4pushedbyhyperpolymath
main
Nov 3, 2026Failure
chore(deps): Bump the actions group with 2 updates (#165)
failed:
Mirror to Git Forges#309:Commit4afb710pushedbyhyperpolymath
main
Oct 29, 2026Failure
fix(transactions): restrict the save's temp file from creation; never…
failed:
Mirror to Git Forges#308:Commit03357a2pushedbyhyperpolymath
main
Oct 27, 2026Failure
fix(transactions): resumable rollback (T-4) and failed-save safety (T…
failed:
Mirror to Git Forges#307:Commitd6fa46bpushedbyhyperpolymath
main
Oct 27, 2026Failure
fix(content-store): confine hash paths to the store, write blobs atom…
failed:
Mirror to Git Forges#306:Commit771a19dpushedbyhyperpolymath
main
Oct 27, 2026Failure
proofs: transaction atomicity in the Agda kernel (T-1..T-3), and the …
failed:
Mirror to Git Forges#305:Commit3f3cc1dpushedbyhyperpolymath
main
Oct 27, 2026Failure
chore(deps): Bump hyperpolymath/cicd-squabbler/.github/actions/squabb…
failed:
Mirror to Git Forges#304:Commit10f0bc2pushedbyhyperpolymath
main
Oct 22, 20263m 13s
ci: re-pin standards callers to a85aa8e and relock (fixes "invalid lo…
failed:
Mirror to Git Forges#303:Commit45ae207pushedbyhyperpolymath
main
Oct 20, 202619m 55s
ci(estate-audit): call cicd-suite's reusable audit; skip panic-attack…
failed:
Mirror to Git Forges#302:Commitd6d3d78pushedbyhyperpolymath
main
Oct 20, 202610m 17s
ci(pages): give the cold casket-ssg build room to finish (15 → 60 min…
failed:
Mirror to Git Forges#301:Commit69de917pushedbyhyperpolymath
main
Oct 14, 20262m 11s
ci: estate workflow set — fix the always-red checks, retire folded wo…
failed:
Mirror to Git Forges#300:Commit4b50367pushedbyhyperpolymath
main
Oct 14, 20262m 16s
chore(abi): remove the idrisiser tree (owner decision; it never typec…
failed:
Mirror to Git Forges#299:Commit9c20604pushedbyhyperpolymath
main
Oct 14, 20263m 2s
fix: CodeRabbit auto-fixes for PR #149 (#153)
failed:
Mirror to Git Forges#298:Commit8098b02pushedbyhyperpolymath
main
Oct 14, 20262m 34s
fix(abi): review follow-ups from the JNK-01 stack (CodeRabbit on #149…
failed:
Mirror to Git Forges#297:Commited8268epushedbyhyperpolymath
main
Oct 14, 20262m 59s
feat(proofs): reversibility as a Loss grade — Agda kernel module pinn…
failed:
Mirror to Git Forges#296:Commitbf54181pushedbyhyperpolymath
main
Oct 13, 20263m 44s
refactor(abi): one ABI tree — module-path layout, JanusKey casing, sy…
failed:
Mirror to Git Forges#295:Commitad85593pushedbyhyperpolymath
main
Oct 13, 20262m 9s
ci: remove per-repo Semgrep scan (the Semgrep Code app covers PRs) (#…
failed:
Mirror to Git Forges#294:Commit0ae1cf7pushedbyhyperpolymath
main
Oct 8, 20263m 17s