.github/workflows/governance.yml

Workflow runs for .github/workflows/governance.yml

• fix(proofs): stop claiming SPARK proofs that do not exist; make the p…

  failed:
  .github/workflows/governance.yml#179:Commit2339059pushedbyhyperpolymath
  main

  Nov 10, 2026Failure
  More actions for workflow run 179

• fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed

  failed:
  .github/workflows/governance.yml#178:Pull request#74byhyperpolymath
  claude/lucid-hopper-wvkv5e

  Nov 10, 2026Failure
  More actions for workflow run 178

• fix(ci): call the secret scanner from proven-cicd-and-workflows (#75)

  failed:
  .github/workflows/governance.yml#177:Commitb015e98pushedbyhyperpolymath
  main

  Nov 10, 2026Failure
  More actions for workflow run 177

• fix(ci): call the secret scanner from proven-cicd-and-workflows

  failed:
  .github/workflows/governance.yml#176:Pull request#75byhyperpolymath
  claude/secret-scanner-caller

  Nov 10, 2026Failure
  More actions for workflow run 176

• fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed

  failed:
  .github/workflows/governance.yml#175:Pull request#74bycoderabbitai[bot]Bot
  claude/lucid-hopper-wvkv5e

  Nov 9, 2026-1s
  More actions for workflow run 175

• fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed

  failed:
  .github/workflows/governance.yml#174:Pull request#74byhyperpolymath
  claude/lucid-hopper-wvkv5e

  Nov 9, 2026Failure
  More actions for workflow run 174

• fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed

  failed:
  .github/workflows/governance.yml#173:Pull request#74byhyperpolymath
  claude/lucid-hopper-wvkv5e

  Nov 9, 2026Failure
  More actions for workflow run 173

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

  failed:
  .github/workflows/governance.yml#172:Commit2246caapushedbyhyperpolymath
  main

  Nov 8, 2026Failure
  More actions for workflow run 172

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

  failed:
  .github/workflows/governance.yml#171:Pull request#73bydependabot[bot]Bot
  dependabot/github_actions/actions-26b05f84a5

  Nov 8, 2026Failure
  More actions for workflow run 171

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

  failed:
  .github/workflows/governance.yml#170:Commit213fe71pushedbyhyperpolymath
  main

  Nov 2, 2026Failure
  More actions for workflow run 170

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.5.0 to 0.5.1 in the actions group

  failed:
  .github/workflows/governance.yml#169:Pull request#72bydependabot[bot]Bot
  dependabot/github_actions/actions-8997878c64

  Nov 1, 2026Failure
  More actions for workflow run 169

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

  failed:
  .github/workflows/governance.yml#168:Commit5aec56epushedbyhyperpolymath
  main

  Oct 25, 202611s
  More actions for workflow run 168

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

  failed:
  .github/workflows/governance.yml#167:Pull request#71openedbydependabot[bot]Bot
  dependabot/github_actions/actions-00a1a19959

  Oct 25, 20268s
  More actions for workflow run 167

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

  failed:
  .github/workflows/governance.yml#166:Commit2200e6dpushedbyhyperpolymath
  main

  Oct 18, 20268s
  More actions for workflow run 166

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

  failed:
  .github/workflows/governance.yml#165:Pull request#70openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 18, 20268s
  More actions for workflow run 165

• .github/workflows/governance.yml

  failed:
  .github/workflows/governance.yml#164:byhyperpolymath
  main

  Oct 11, 202623s
  More actions for workflow run 164

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

  failed:
  .github/workflows/governance.yml#163:Pull request#69openedbydependabot[bot]Bot
  dependabot/github_actions/actions-cde91ae882

  Oct 11, 202618s
  More actions for workflow run 163

• feat: land the contractiles tree vendored in reposystem (147 files, i…

  failed:
  .github/workflows/governance.yml#162:Commita0b5619pushedbyhyperpolymath
  main

  Oct 9, 202621s
  More actions for workflow run 162

• feat: land the contractiles tree vendored in reposystem (147 files, incl. the contractile CLI)

  failed:
  .github/workflows/governance.yml#161:Pull request#68openedbyhyperpolymath
  feat/land-vendored-contractiles

  Oct 9, 202618s
  More actions for workflow run 161

• docs(contractile): spec-first bundle — audit, RFC-0001, ADR-0002 (no …

  failed:
  .github/workflows/governance.yml#160:Commitd440161pushedbyhyperpolymath
  main

  Oct 4, 20262m 4s
  More actions for workflow run 160

• docs(contractile): spec-first bundle — audit, RFC-0001, ADR-0002 (no CLI exists; ratification requested)

  failed:
  .github/workflows/governance.yml#159:Pull request#67openedbyhyperpolymath
  arena/01a103ff-contractiles

  Oct 4, 20261m 35s
  More actions for workflow run 159

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

  failed:
  .github/workflows/governance.yml#158:Commitc8ae464pushedbyhyperpolymath
  main

  Oct 1, 202632m 18s
  More actions for workflow run 158

• docs: add Signed commits section to CONTRIBUTING

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

  Oct 1, 202613m 40s
  More actions for workflow run 157

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

  failed:
  .github/workflows/governance.yml#156:Commit50f41adpushedbyhyperpolymath
  main

  Sep 27, 202617s
  More actions for workflow run 156

• chore(deps): bump github/codeql-action from 4.38.0 to 4.38.2 in the actions group

  failed:
  .github/workflows/governance.yml#155:Pull request#65openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Sep 27, 202621s
  More actions for workflow run 155