.github/workflows/governance.yml

Workflow runs for .github/workflows/governance.yml

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

  failed:
  .github/workflows/governance.yml#242:Commit122b14dpushedbyhyperpolymath
  main

  Oct 25, 2026Failure
  More actions for workflow run 242

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

  failed:
  .github/workflows/governance.yml#241:Pull request#113bydependabot[bot]Bot
  dependabot/github_actions/actions-52fc152648

  Oct 25, 2026Failure
  More actions for workflow run 241

• chore(deps): bump the actions group with 4 updates (#112)

  failed:
  .github/workflows/governance.yml#240:Commit800cf45pushedbyhyperpolymath
  main

  Oct 18, 20269s
  More actions for workflow run 240

• chore(deps): bump the actions group with 4 updates

  failed:
  .github/workflows/governance.yml#239:Pull request#112openedbydependabot[bot]Bot
  dependabot/github_actions/actions-f7193b2b12

  Oct 18, 20269s
  More actions for workflow run 239

• chore(deps): bump the actions group with 4 updates (#111)

  failed:
  .github/workflows/governance.yml#238:Commit9d6fc8bpushedbyhyperpolymath
  main

  Oct 11, 202621s
  More actions for workflow run 238

• chore(deps): bump the actions group with 4 updates

  failed:
  .github/workflows/governance.yml#237:Pull request#111openedbydependabot[bot]Bot
  dependabot/github_actions/actions-0ea35773d6

  Oct 11, 202619s
  More actions for workflow run 237

• chore(deps): bump leanprover/lean-action from 1.6.0 to 1.6.1 in the a…

  failed:
  .github/workflows/governance.yml#236:Commit56a9887pushedbyhyperpolymath
  main

  Oct 4, 202627s
  More actions for workflow run 236

• chore(deps): bump leanprover/lean-action from 1.6.0 to 1.6.1 in the actions group

  failed:
  .github/workflows/governance.yml#235:Pull request#110openedbydependabot[bot]Bot
  dependabot/github_actions/actions-5c730b7206

  Oct 4, 202630s
  More actions for workflow run 235

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

  failed:
  .github/workflows/governance.yml#234:Commit4132e7cpushedbyhyperpolymath
  main

  Oct 1, 20264m 31s
  More actions for workflow run 234

• docs: add Signed commits section to CONTRIBUTING

  failed:
  .github/workflows/governance.yml#233:Pull request#109synchronizebyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 20264m 14s
  More actions for workflow run 233

• docs: add Signed commits section to CONTRIBUTING

  failed:
  .github/workflows/governance.yml#232:Pull request#109openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202628s
  More actions for workflow run 232

• chore(deps): bump the actions group with 4 updates (#108)

  failed:
  .github/workflows/governance.yml#231:Commitb383154pushedbyhyperpolymath
  main

  Sep 27, 202621s
  More actions for workflow run 231

• chore(deps): bump the actions group with 4 updates

  failed:
  .github/workflows/governance.yml#230:Pull request#108openedbydependabot[bot]Bot
  dependabot/github_actions/actions-c42d929ac2

  Sep 27, 202622s
  More actions for workflow run 230

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

  failed:
  .github/workflows/governance.yml#229:Commit5463d7epushedbyhyperpolymath
  main

  Sep 21, 20268h 14m 32s
  More actions for workflow run 229

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

  failed:
  .github/workflows/governance.yml#228:Pull request#107openedbyhyperpolymath
  fix/deed-gate-grammar

  Sep 21, 20268h 18m 45s
  More actions for workflow run 228

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

  cancelled:
  .github/workflows/governance.yml#227:Commit86ae0f7pushedbyhyperpolymath
  main

  Sep 21, 202646m 59s
  More actions for workflow run 227

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

  failed:
  .github/workflows/governance.yml#226:Pull request#106openedbyhyperpolymath
  fix/deed-gate-a2ml-retire

  Sep 21, 20268h 26m 39s
  More actions for workflow run 226

• .github/workflows/governance.yml

  failed:
  .github/workflows/governance.yml#225:Manually runbyhyperpolymath
  main

  Sep 21, 202620m 34s
  More actions for workflow run 225

• fix(ci): give callers the union of the reusable's declared permission…

  cancelled:
  .github/workflows/governance.yml#224:Commita499723pushedbyhyperpolymath
  main

  Sep 21, 20267m 7s
  More actions for workflow run 224

• fix(ci): give callers the union of the reusable's declared permissions

  failed:
  .github/workflows/governance.yml#223:Pull request#105openedbyhyperpolymath
  fix/caller-permissions-union

  Sep 21, 202625m 51s
  More actions for workflow run 223

• fix(ci): repair the permissions block indentation (invalid YAML) (#104)

  failed at startup:
  .github/workflows/governance.yml#222:Commit61b3034pushedbyhyperpolymath
  main

  Sep 21, 20261s
  More actions for workflow run 222

• fix(ci): repair the permissions block indentation (invalid YAML)

  failed at startup:
  .github/workflows/governance.yml#221:Pull request#104openedbyhyperpolymath
  fix/ci-permissions-indentation

  Sep 21, 2026Startup failure
  More actions for workflow run 221

• fix(ci): repair the permissions block indentation (invalid YAML) (#103)

  failed at startup:
  .github/workflows/governance.yml#220:Commitf426b9dpushedbyhyperpolymath
  main

  Sep 21, 2026Startup failure
  More actions for workflow run 220

• fix(ci): repair the permissions block indentation (invalid YAML)

  failed at startup:
  .github/workflows/governance.yml#219:Pull request#103openedbyhyperpolymath
  fix/ci-permissions-indentation

  Sep 21, 2026Startup failure
  More actions for workflow run 219

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

  failed:
  .github/workflows/governance.yml#218:Commit29393a3pushedbyhyperpolymath
  main

  Sep 21, 2026Failure
  More actions for workflow run 218