Mirror to Git Forges

Workflow runs for Mirror to Git Forges

• docs: mark AFFIRMATION as agent-authored DRAFT, not owner-affirmed (#…

  failed:
  Mirror to Git Forges#338:Commita7503b2pushedbyhyperpolymath
  main

  Oct 7, 20262m 34s
  More actions for workflow run 338

• docs: add AFFIRMATION.adoc anchored at 53600326 (#232)

  failed:
  Mirror to Git Forges#337:Commit6071d0bpushedbyhyperpolymath
  main

  Oct 7, 20262m 10s
  More actions for workflow run 337

• chore(secrets): ignore three gitleaks test-fixture false positives (#…

  failed:
  Mirror to Git Forges#336:Commit5360032pushedbyhyperpolymath
  main

  Oct 6, 20262m 24s
  More actions for workflow run 336

• fix(SafeFiniteField): reject irreducibles not of degree n before redu…

  failed:
  Mirror to Git Forges#335:Commita32c3b6pushedbyhyperpolymath
  main

  Oct 6, 20263m 50s
  More actions for workflow run 335

• fix(soundness): remove false postulates in SafeFiniteField, SafePipe,…

  failed:
  Mirror to Git Forges#334:Commitced0ca5pushedbyhyperpolymath
  main

  Oct 6, 20264m 32s
  More actions for workflow run 334

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

  failed:
  Mirror to Git Forges#333:Commit8542e84pushedbyhyperpolymath
  main

  Oct 1, 202615m 42s
  More actions for workflow run 333

• fix: restore the Idris2 0.8 package build (#226)

  failed at startup:
  Mirror to Git Forges#332:Commit91d353apushedbyarena-ai-coding-agent[bot]Bot
  main

  Sep 27, 2026Startup failure
  More actions for workflow run 332

• fix(gates): gate on the DEED grammar, per the template and standards#…

  failed:
  Mirror to Git Forges#331:Commitc725099pushedbyhyperpolymath
  main

  Sep 21, 20263h 39m 25s
  More actions for workflow run 331

• fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era nam…

  failed:
  Mirror to Git Forges#330:Commit0413242pushedbyhyperpolymath
  main

  Sep 21, 20262h 34m 47s
  More actions for workflow run 330

• ci(hypatia): standardise the wrapper caller id to the canonical `hypa…

  failed:
  Mirror to Git Forges#329:Commitc8db3a1pushedbyhyperpolymath
  main

  Sep 20, 20261h 35m 47s
  More actions for workflow run 329

• chore(governance): stop declaring repository identity in settings.yml…

  failed:
  Mirror to Git Forges#328:Commitbdee8ccpushedbyhyperpolymath
  main

  Sep 19, 202617m 50s
  More actions for workflow run 328

• fix(docs): repoint references to the relocated contributing guide (#221)

  failed:
  Mirror to Git Forges#327:Commit867bd6apushedbyhyperpolymath
  main

  Sep 19, 20266m 0s
  More actions for workflow run 327

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

  failed:
  Mirror to Git Forges#326:Commita1de1b8pushedbyhyperpolymath
  main

  Sep 19, 20262h 13m 52s
  More actions for workflow run 326

• chore(www): migrate root .well-known/ to www/.well-known/ (#219)

  cancelled:
  Mirror to Git Forges#325:Commit3d11731pushedbyhyperpolymath
  main

  Sep 18, 20262h 6m 59s
  More actions for workflow run 325

• Fix/idris2 totality and elaboration cures (#217)

  failed:
  Mirror to Git Forges#324:Commita92d237pushedbyhyperpolymath
  main

  Sep 17, 20262m 16s
  More actions for workflow run 324

• fix(ci): repair unparseable permissions scalar (2 workflow file(s)) (…

  failed:
  Mirror to Git Forges#323:Commitb30bdbfpushedbyhyperpolymath
  main

  Sep 15, 20262m 36s
  More actions for workflow run 323

• Mirror to Git Forges

  failed:
  Mirror to Git Forges#322:Manually runbyhyperpolymath
  main

  Sep 15, 20263m 31s
  More actions for workflow run 322

• fix(idris2): cure seven build blockers — build goes VOID → RED, front…

  failed at startup:
  Mirror to Git Forges#321:Commit3b118cbpushedbyhyperpolymath
  main

  Sep 13, 2026Startup failure
  More actions for workflow run 321

• chore(dependabot): cap open pull requests per update block (#216)

  failed at startup:
  Mirror to Git Forges#320:Commitb6bd74epushedbyhyperpolymath
  main

  Sep 13, 2026Startup failure
  More actions for workflow run 320

• chore(ci): repoint push-email-notify to smtp-notify-action (#215)

  completed successfully:
  Mirror to Git Forges#319:Commitb047620pushedbyhyperpolymath
  main

  Sep 3, 202659m 41s
  More actions for workflow run 319

• chore: bump standards workflow pins (#214)

  completed successfully:
  Mirror to Git Forges#318:Commitaa6dbd2pushedbyhyperpolymath
  main

  Aug 31, 202614s
  More actions for workflow run 318

• fix(ci): the invisible-character gate never matched anything (#207)

  failed:
  Mirror to Git Forges#317:Commite615ba0pushedbyhyperpolymath
  main

  Aug 27, 2026Failure
  More actions for workflow run 317

• feat(labels): estate label tooling + auto-triage for new issues (#213)

  failed:
  Mirror to Git Forges#316:Commitc31fc6fpushedbyhyperpolymath
  main

  Aug 27, 2026Failure
  More actions for workflow run 316

• feat(labels): estate label tooling + auto-triage for new issues (#205)

  failed:
  Mirror to Git Forges#315:Commitc19fcbapushedbyhyperpolymath
  main

  Aug 27, 2026Failure
  More actions for workflow run 315

• refactor: migrate Markdown to AsciiDoc (#201)

  failed:
  Mirror to Git Forges#314:Commit3932a8cpushedbyhyperpolymath
  main

  Aug 24, 2026Failure
  More actions for workflow run 314