Static Analysis Gate

Workflow runs for Static Analysis Gate

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

  failed at startup:
  Static Analysis Gate#179:Commit2339059pushedbyhyperpolymath
  main

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

• Static Analysis Gate

  failed at startup:
  Static Analysis Gate#178:synchronizebyhyperpolymath
  claude/lucid-hopper-wvkv5e

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

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

  failed at startup:
  Static Analysis Gate#177:Commitb015e98pushedbyhyperpolymath
  main

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

• Static Analysis Gate

  failed at startup:
  Static Analysis Gate#176:openedbyhyperpolymath
  claude/secret-scanner-caller

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

• Static Analysis Gate

  failed at startup:
  Static Analysis Gate#175:synchronizebycoderabbitai[bot]Bot
  claude/lucid-hopper-wvkv5e

  Nov 9, 2026Startup failure
  More actions for workflow run 175

• Static Analysis Gate

  failed at startup:
  Static Analysis Gate#174:synchronizebyhyperpolymath
  claude/lucid-hopper-wvkv5e

  Nov 9, 2026Startup failure
  More actions for workflow run 174

• Static Analysis Gate

  failed at startup:
  Static Analysis Gate#173:openedbyhyperpolymath
  claude/lucid-hopper-wvkv5e

  Nov 9, 2026Startup failure
  More actions for workflow run 173

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

  failed at startup:
  Static Analysis Gate#172:Commit2246caapushedbyhyperpolymath
  main

  Nov 8, 2026Startup failure
  More actions for workflow run 172

• Static Analysis Gate

  failed at startup:
  Static Analysis Gate#171:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-26b05f84a5

  Nov 8, 2026Startup failure
  More actions for workflow run 171

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

  failed at startup:
  Static Analysis Gate#170:Commit213fe71pushedbyhyperpolymath
  main

  Nov 2, 2026Startup failure
  More actions for workflow run 170

• Static Analysis Gate

  failed at startup:
  Static Analysis Gate#169:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-8997878c64

  Nov 1, 2026Startup failure
  More actions for workflow run 169

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

  failed at startup:
  Static Analysis Gate#168:Commit5aec56epushedbyhyperpolymath
  main

  Oct 25, 2026Startup failure
  More actions for workflow run 168

• Static Analysis Gate

  failed at startup:
  Static Analysis Gate#167:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-00a1a19959

  Oct 25, 2026Startup failure
  More actions for workflow run 167

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

  failed at startup:
  Static Analysis Gate#166:Commit2200e6dpushedbyhyperpolymath
  main

  Oct 18, 2026Startup failure
  More actions for workflow run 166

• Static Analysis Gate

  failed at startup:
  Static Analysis Gate#165:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 18, 2026Startup failure
  More actions for workflow run 165

• Static Analysis Gate

  failed at startup:
  Static Analysis Gate#164:byhyperpolymath
  main

  Oct 11, 2026Startup failure
  More actions for workflow run 164

• Static Analysis Gate

  failed at startup:
  Static Analysis Gate#163:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-cde91ae882

  Oct 11, 2026Startup failure
  More actions for workflow run 163

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

  failed:
  Static Analysis Gate#162:Commita0b5619pushedbyhyperpolymath
  main

  Oct 9, 202643s
  More actions for workflow run 162

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

  failed:
  Static Analysis Gate#161:Pull request#68openedbyhyperpolymath
  feat/land-vendored-contractiles

  Oct 9, 202643s
  More actions for workflow run 161

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

  failed:
  Static Analysis Gate#160:Commitd440161pushedbyhyperpolymath
  main

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

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

  failed:
  Static Analysis Gate#159:Pull request#67openedbyhyperpolymath
  arena/01a103ff-contractiles

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

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

  failed:
  Static Analysis Gate#158:Commitc8ae464pushedbyhyperpolymath
  main

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

• docs: add Signed commits section to CONTRIBUTING

  failed:
  Static Analysis Gate#157:Pull request#66openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202612m 45s
  More actions for workflow run 157

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

  completed successfully:
  Static Analysis Gate#156:Commit50f41adpushedbyhyperpolymath
  main

  Sep 27, 20261m 20s
  More actions for workflow run 156

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

  completed successfully:
  Static Analysis Gate#155:Pull request#65openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Sep 27, 202639s
  More actions for workflow run 155