Mirror to Git Forges

Workflow runs for Mirror to Git Forges

• chore(deps): bump github/codeql-action from 4.38.2 to 4.38.3 in the a…

  failed:
  Mirror to Git Forges#217:Commite249d7fpushedbyhyperpolymath
  main

  Oct 16, 20267s
  More actions for workflow run 217

• ci+docs: unify the standards pins, close the lock, underscore the arc…

  completed successfully:
  Mirror to Git Forges#216:Commitb60f227pushedbyhyperpolymath
  main

  Oct 15, 202611s
  More actions for workflow run 216

• docs: an Applications-in-practice section (#189)

  completed successfully:
  Mirror to Git Forges#215:Commit4471796pushedbyhyperpolymath
  main

  Oct 15, 202612s
  More actions for workflow run 215

• t1-exception-2026-10-12 (#188)

  completed successfully:
  Mirror to Git Forges#214:Commitae1b681pushedbyhyperpolymath
  main

  Oct 12, 202611s
  More actions for workflow run 214

• Archive non-active provers; migrate a2ml to deed and K9; CodeRabbit c…

  completed successfully:
  Mirror to Git Forges#213:Commit4d5ecbdpushedbyhyperpolymath
  main

  Oct 10, 202610s
  More actions for workflow run 213

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.3.0 to 0.5.…

  completed successfully:
  Mirror to Git Forges#212:Commit6010145pushedbyhyperpolymath
  main

  Oct 9, 202611s
  More actions for workflow run 212

• chore(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the a…

  completed successfully:
  Mirror to Git Forges#211:Commit5f27136pushedbyhyperpolymath
  main

  Oct 2, 202610s
  More actions for workflow run 211

• docs(citation): align CITATIONS.adoc author form with CITATION.cff (#…

  completed successfully:
  Mirror to Git Forges#210:Commit27d879fpushedbyhyperpolymath
  main

  Oct 1, 202616s
  More actions for workflow run 210

• chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale …

  completed successfully:
  Mirror to Git Forges#209:Commitdba634apushedbyhyperpolymath
  main

  Oct 1, 202614s
  More actions for workflow run 209

• docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3…

  completed successfully:
  Mirror to Git Forges#208:Commit8007381pushedbyhyperpolymath
  main

  Oct 1, 202613s
  More actions for workflow run 208

• fix(proofs): census reads logical roots from _CoqProject; restore Fil…

  completed successfully:
  Mirror to Git Forges#207:Commitf486c29pushedbyhyperpolymath
  main

  Oct 1, 202612s
  More actions for workflow run 207

• docs: add Signed commits section to CONTRIBUTING (#179)

  completed successfully:
  Mirror to Git Forges#206:Commit9b9e219pushedbyhyperpolymath
  main

  Oct 1, 202615s
  More actions for workflow run 206

• fix(ci): regenerate actions.lock for codeql-action v4.38.1 and wiki-s…

  completed successfully:
  Mirror to Git Forges#205:Commit5613b0epushedbyhyperpolymath
  main

  Sep 30, 202613s
  More actions for workflow run 205

• fix: resolve repository issues, port Lean FilesystemCNO, and unify Co…

  completed successfully:
  Mirror to Git Forges#204:Commitb7c780fpushedbyhyperpolymath
  main

  Sep 26, 202644s
  More actions for workflow run 204

• chore(deps): bump github/codeql-action from 4.38.0 to 4.38.1 in the a…

  completed successfully:
  Mirror to Git Forges#203:Commit3e959cbpushedbyhyperpolymath
  main

  Sep 25, 202621s
  More actions for workflow run 203

• proofs: honest prover gate — absent prover = fail, z3 expect-checked,…

  completed successfully:
  Mirror to Git Forges#202:Commit877ede2pushedbyhyperpolymath
  main

  Sep 23, 202612s
  More actions for workflow run 202

• ci(scorecard): cure the 20/20 startup death and emit SARIF (#168) (#169)

  completed successfully:
  Mirror to Git Forges#201:Commitdd87b48pushedbyhyperpolymath
  main

  Sep 22, 20269m 7s
  More actions for workflow run 201

• fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axi…

  completed successfully:
  Mirror to Git Forges#200:Commit828399apushedbyhyperpolymath
  main

  Sep 22, 202644s
  More actions for workflow run 200

• fix(ci): cure the three main reds — drop Deno CI (#160), bump governa…

  completed successfully:
  Mirror to Git Forges#199:Commit3c8796apushedbyhyperpolymath
  main

  Sep 22, 202635s
  More actions for workflow run 199

• fix(ci): reconcile actions.lock so the lockfile validates (#159)

  completed successfully:
  Mirror to Git Forges#198:Commit74202cbpushedbyhyperpolymath
  main

  Sep 21, 20263h 43m 41s
  More actions for workflow run 198

• fix(ci): correct reusable-workflow caller permissions and inputs (#158)

  completed successfully:
  Mirror to Git Forges#197:Commita551037pushedbyhyperpolymath
  main

  Sep 21, 20263m 1s
  More actions for workflow run 197

• fix(ci): pin third-party actions to full commit SHAs (#157)

  completed successfully:
  Mirror to Git Forges#196:Commit8239e52pushedbyhyperpolymath
  main

  Sep 20, 20264m 14s
  More actions for workflow run 196

• docs(claude): point package management at files that exist (#156)

  completed successfully:
  Mirror to Git Forges#195:Commit76308c9pushedbyhyperpolymath
  main

  Sep 19, 202614m 24s
  More actions for workflow run 195

• refactor(root): relocate the contributing guide into .github/ (#155)

  completed successfully:
  Mirror to Git Forges#194:Commitbadb2c8pushedbyhyperpolymath
  main

  Sep 19, 202624m 6s
  More actions for workflow run 194

• chore(deps): bump docker/build-push-action from 7.3.0 to 7.4.0 in the…

  completed successfully:
  Mirror to Git Forges#193:Commit4264485pushedbyhyperpolymath
  main

  Sep 18, 202651s
  More actions for workflow run 193