🔴 Gate: Static analysis

Workflow runs for 🔴 Gate: Static analysis

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

  completed successfully:
  🔴 Gate: Static analysis#210:Commit7083d19pushedbyhyperpolymath
  main

  Nov 10, 20261m 1s
  More actions for workflow run 210

• Say what verification/proofs/ actually contains

  completed successfully:
  🔴 Gate: Static analysis#209:Pull request#86synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 20262h 1m 33s
  More actions for workflow run 209

• Say what verification/proofs/ actually contains

  cancelled:
  🔴 Gate: Static analysis#208:Pull request#86synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 20261h 29m 34s
  More actions for workflow run 208

• Say what verification/proofs/ actually contains

  cancelled:
  🔴 Gate: Static analysis#207:Pull request#86openedbyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 202637m 33s
  More actions for workflow run 207

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

  completed successfully:
  🔴 Gate: Static analysis#206:Commit771555bpushedbyhyperpolymath
  main

  Nov 5, 202651s
  More actions for workflow run 206

• Phase 0 follow-up: CI/required asserts Idris 2 0.8.0, checker pin bumped to post-ratification trope-checker, schema re-vendored, AFFIRMATION accuracy (haec)

  completed successfully:
  🔴 Gate: Static analysis#205:Pull request#85synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 20262m 36s
  More actions for workflow run 205

• Phase 0 follow-up: CI/required asserts Idris 2 0.8.0, checker pin bumped to post-ratification trope-checker, schema re-vendored, AFFIRMATION accuracy (haec)

  completed successfully:
  🔴 Gate: Static analysis#204:Pull request#85synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 20261m 49s
  More actions for workflow run 204

• Phase 0 follow-up: CI/required asserts Idris 2 0.8.0, checker pin bumped to post-ratification trope-checker, schema re-vendored, AFFIRMATION accuracy (haec)

  completed successfully:
  🔴 Gate: Static analysis#203:Pull request#85openedbyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 20263m 8s
  More actions for workflow run 203

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

  completed successfully:
  🔴 Gate: Static analysis#202:Commit6b36491pushedbyhyperpolymath
  main

  Oct 28, 202650s
  More actions for workflow run 202

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

  completed successfully:
  🔴 Gate: Static analysis#201:Pull request#84openedbydependabot[bot]Bot
  dependabot/github_actions/actions-00a1a19959

  Oct 28, 202651s
  More actions for workflow run 201

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

  completed successfully:
  🔴 Gate: Static analysis#200:Commit66e4f11pushedbyhyperpolymath
  main

  Oct 27, 202652s
  More actions for workflow run 200

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

  completed successfully:
  🔴 Gate: Static analysis#199:Pull request#81synchronizebycoderabbitai[bot]Bot
  claude/new-session-snuoro

  Oct 27, 202658s
  More actions for workflow run 199

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

  completed successfully:
  🔴 Gate: Static analysis#198:Pull request#81synchronizebyhyperpolymath
  claude/new-session-snuoro

  Oct 27, 20263m 42s
  More actions for workflow run 198

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

  completed successfully:
  🔴 Gate: Static analysis#197:Pull request#81synchronizebycoderabbitai[bot]Bot
  claude/new-session-snuoro

  Oct 27, 202651s
  More actions for workflow run 197

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

  completed successfully:
  🔴 Gate: Static analysis#196:Pull request#81synchronizebyhyperpolymath
  claude/new-session-snuoro

  Oct 27, 202654s
  More actions for workflow run 196

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

  completed successfully:
  🔴 Gate: Static analysis#195:Pull request#81openedbyhyperpolymath
  claude/new-session-snuoro

  Oct 27, 202650s
  More actions for workflow run 195

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

  completed successfully:
  🔴 Gate: Static analysis#194:Commite9bee39pushedbyhyperpolymath
  main

  Oct 21, 20261m 50s
  More actions for workflow run 194

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

  completed successfully:
  🔴 Gate: Static analysis#193:Pull request#80openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 21, 202654s
  More actions for workflow run 193

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

  completed successfully:
  🔴 Gate: Static analysis#192:Commitc648352pushedbyhyperpolymath
  main

  Oct 14, 202653s
  More actions for workflow run 192

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

  completed successfully:
  🔴 Gate: Static analysis#191:Pull request#79openedbydependabot[bot]Bot
  dependabot/github_actions/actions-47d671327e

  Oct 14, 20261m 9s
  More actions for workflow run 191

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

  completed successfully:
  🔴 Gate: Static analysis#190:Commitfaee2f5pushedbyhyperpolymath
  main

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

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

  completed successfully:
  🔴 Gate: Static analysis#189:Pull request#78openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Oct 7, 202656s
  More actions for workflow run 189

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

  failed:
  🔴 Gate: Static analysis#188:Commitb437282pushedbyhyperpolymath
  main

  Oct 1, 202628s
  More actions for workflow run 188

• docs: add Signed commits section to CONTRIBUTING

  failed:
  🔴 Gate: Static analysis#187:Pull request#76synchronizebyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202625s
  More actions for workflow run 187

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

  completed successfully:
  🔴 Gate: Static analysis#186:Commitf89b371pushedbyhyperpolymath
  main

  Oct 1, 20261m 26s
  More actions for workflow run 186