⚙ Auto: Mirror to forges

Workflow runs for ⚙ Auto: Mirror to forges

• Say what verification/proofs/ actually contains (#86)

  failed at startup:
  ⚙ Auto: Mirror to forges#118:Commit7083d19pushedbyhyperpolymath
  main

  Nov 10, 2026Startup failure
  More actions for workflow run 118

• Phase 0 follow-up: CI/required asserts Idris 2 0.8.0, checker pin bum…

  failed at startup:
  ⚙ Auto: Mirror to forges#117:Commit771555bpushedbyhyperpolymath
  main

  Nov 5, 2026Startup failure
  More actions for workflow run 117

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

  failed:
  ⚙ Auto: Mirror to forges#116:Commit6b36491pushedbyhyperpolymath
  main

  Oct 28, 2026Failure
  More actions for workflow run 116

• Phase 0: make the status surfaces true (haec) (#81)

  failed:
  ⚙ Auto: Mirror to forges#115:Commit66e4f11pushedbyhyperpolymath
  main

  Oct 27, 2026-1s
  More actions for workflow run 115

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

  failed:
  ⚙ Auto: Mirror to forges#114:Commite9bee39pushedbyhyperpolymath
  main

  Oct 21, 20262m 3s
  More actions for workflow run 114

• chore(deps): bump the actions group with 3 updates (#79)

  completed successfully:
  ⚙ Auto: Mirror to forges#113:Commitc648352pushedbyhyperpolymath
  main

  Oct 14, 202618s
  More actions for workflow run 113

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

  completed successfully:
  ⚙ Auto: Mirror to forges#112:Commitfaee2f5pushedbyhyperpolymath
  main

  Oct 7, 20261m 17s
  More actions for workflow run 112

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

  failed:
  ⚙ Auto: Mirror to forges#111:Commitb437282pushedbyhyperpolymath
  main

  Oct 1, 202624s
  More actions for workflow run 111

• ci(secret-scan): rename caller job key secret-scan -> scan (D243) (#77)

  completed successfully:
  ⚙ Auto: Mirror to forges#110:Commitf89b371pushedbyhyperpolymath
  main

  Oct 1, 202631s
  More actions for workflow run 110

• fix(clade): adopt real registry values — fv/nl per gv-clade-index#58 …

  failed:
  ⚙ Auto: Mirror to forges#109:Commitcdbbdb2pushedbyhyperpolymath
  main

  Sep 21, 202620s
  More actions for workflow run 109

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

  failed:
  ⚙ Auto: Mirror to forges#108:Commitd4b1e82pushedbyhyperpolymath
  main

  Sep 21, 202649s
  More actions for workflow run 108

• fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) …

  failed:
  ⚙ Auto: Mirror to forges#107:Commit843d31apushedbyhyperpolymath
  main

  Sep 20, 202617s
  More actions for workflow run 107

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

  failed:
  ⚙ Auto: Mirror to forges#106:Commit9dc4b58pushedbyhyperpolymath
  main

  Sep 19, 202611s
  More actions for workflow run 106

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

  failed:
  ⚙ Auto: Mirror to forges#105:Commitea4db05pushedbyhyperpolymath
  main

  Sep 19, 202611s
  More actions for workflow run 105

• Chore/apply foundation ci fixes 20260911 (#70)

  failed:
  ⚙ Auto: Mirror to forges#104:Commit0ef9097pushedbyhyperpolymath
  main

  Sep 19, 20264s
  More actions for workflow run 104

• chore(actions): relock drifted action pins (#69)

  failed:
  ⚙ Auto: Mirror to forges#103:Commitc88ce63pushedbyhyperpolymath
  main

  Sep 15, 202650s
  More actions for workflow run 103

• ⚙ Auto: Mirror to forges

  failed:
  ⚙ Auto: Mirror to forges#102:Manually runbyhyperpolymath
  main

  Sep 15, 202614s
  More actions for workflow run 102

• fix(tests): terminate find -exec and pass {} — the placeholder step w…

  failed at startup:
  ⚙ Auto: Mirror to forges#101:Commit1d345eapushedbyhyperpolymath
  main

  Sep 12, 2026Startup failure
  More actions for workflow run 101

• chore(deps): bump the actions group with 2 updates (#68)

  skipped:
  ⚙ Auto: Mirror to forges#100:Commita914747pushedbyhyperpolymath
  main

  Sep 9, 20262s
  More actions for workflow run 100

• chore(deps): bump the actions group with 2 updates (#67)

  skipped:
  ⚙ Auto: Mirror to forges#99:Commit93d613epushedbyhyperpolymath
  main

  Sep 2, 202610s
  More actions for workflow run 99

• Merge branch 'chore/bump-standards-pins'

  skipped:
  ⚙ Auto: Mirror to forges#98:Commite4cc2bcpushedbyhyperpolymath
  main

  Aug 30, 20261s
  More actions for workflow run 98

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

  skipped:
  ⚙ Auto: Mirror to forges#97:Commit4a75dfcpushedbyhyperpolymath
  main

  Aug 28, 202610s
  More actions for workflow run 97

• fix: AGENTIC licence line + a2ml-validate-action repin (standards#646…

  skipped:
  ⚙ Auto: Mirror to forges#96:Commitbde0c80pushedbyhyperpolymath
  main

  Aug 28, 202610s
  More actions for workflow run 96

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

  skipped:
  ⚙ Auto: Mirror to forges#95:Commit30d7adbpushedbyhyperpolymath
  main

  Aug 27, 20261s
  More actions for workflow run 95

• fix(ci): unbreak workflow YAML and add a complete actions.lock (#64)

  skipped:
  ⚙ Auto: Mirror to forges#94:Commit25becabpushedbyhyperpolymath
  main

  Aug 27, 20269s
  More actions for workflow run 94