🔴 Gate: Security policy present

Workflow runs for 🔴 Gate: Security policy present

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

  completed successfully:
  🔴 Gate: Security policy present#213:Commit7083d19pushedbyhyperpolymath
  main

  Nov 10, 202615s
  More actions for workflow run 213

• Say what verification/proofs/ actually contains

  completed successfully:
  🔴 Gate: Security policy present#212:Pull request#86synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 202640m 23s
  More actions for workflow run 212

• Say what verification/proofs/ actually contains

  completed successfully:
  🔴 Gate: Security policy present#211:Pull request#86synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 202621m 1s
  More actions for workflow run 211

• Say what verification/proofs/ actually contains

  cancelled:
  🔴 Gate: Security policy present#210:Pull request#86openedbyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 202616m 58s
  More actions for workflow run 210

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

  completed successfully:
  🔴 Gate: Security policy present#209:Commit771555bpushedbyhyperpolymath
  main

  Nov 5, 20268s
  More actions for workflow run 209

• 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: Security policy present#208:Pull request#85synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 202633s
  More actions for workflow run 208

• 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: Security policy present#207:Pull request#85synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 20261m 14s
  More actions for workflow run 207

• 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: Security policy present#206:Pull request#85openedbyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 20261m 40s
  More actions for workflow run 206

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

  completed successfully:
  🔴 Gate: Security policy present#205:Commit6b36491pushedbyhyperpolymath
  main

  Oct 28, 20268s
  More actions for workflow run 205

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

  completed successfully:
  🔴 Gate: Security policy present#204:Pull request#84openedbydependabot[bot]Bot
  dependabot/github_actions/actions-00a1a19959

  Oct 28, 20268s
  More actions for workflow run 204

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

  completed successfully:
  🔴 Gate: Security policy present#203:Commit66e4f11pushedbyhyperpolymath
  main

  Oct 27, 20269s
  More actions for workflow run 203

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

  completed successfully:
  🔴 Gate: Security policy present#202:Pull request#81synchronizebycoderabbitai[bot]Bot
  claude/new-session-snuoro

  Oct 27, 202658s
  More actions for workflow run 202

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

  completed successfully:
  🔴 Gate: Security policy present#201:Pull request#81synchronizebyhyperpolymath
  claude/new-session-snuoro

  Oct 27, 20263m 17s
  More actions for workflow run 201

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

  completed successfully:
  🔴 Gate: Security policy present#200:Pull request#81synchronizebycoderabbitai[bot]Bot
  claude/new-session-snuoro

  Oct 27, 20268s
  More actions for workflow run 200

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

  completed successfully:
  🔴 Gate: Security policy present#199:Pull request#81synchronizebyhyperpolymath
  claude/new-session-snuoro

  Oct 27, 202610s
  More actions for workflow run 199

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

  completed successfully:
  🔴 Gate: Security policy present#198:Pull request#81openedbyhyperpolymath
  claude/new-session-snuoro

  Oct 27, 20268s
  More actions for workflow run 198

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

  completed successfully:
  🔴 Gate: Security policy present#197:Commite9bee39pushedbyhyperpolymath
  main

  Oct 21, 20261m 40s
  More actions for workflow run 197

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

  completed successfully:
  🔴 Gate: Security policy present#196:Pull request#80openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 21, 202611s
  More actions for workflow run 196

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

  completed successfully:
  🔴 Gate: Security policy present#195:Commitc648352pushedbyhyperpolymath
  main

  Oct 14, 20269s
  More actions for workflow run 195

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

  completed successfully:
  🔴 Gate: Security policy present#194:Pull request#79openedbydependabot[bot]Bot
  dependabot/github_actions/actions-47d671327e

  Oct 14, 202629s
  More actions for workflow run 194

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

  completed successfully:
  🔴 Gate: Security policy present#193:Commitfaee2f5pushedbyhyperpolymath
  main

  Oct 7, 202612s
  More actions for workflow run 193

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

  completed successfully:
  🔴 Gate: Security policy present#192:Pull request#78openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Oct 7, 202610s
  More actions for workflow run 192

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

  failed:
  🔴 Gate: Security policy present#191:Commitb437282pushedbyhyperpolymath
  main

  Oct 1, 202613s
  More actions for workflow run 191

• docs: add Signed commits section to CONTRIBUTING

  failed:
  🔴 Gate: Security policy present#190:Pull request#76synchronizebyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202625s
  More actions for workflow run 190

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

  completed successfully:
  🔴 Gate: Security policy present#189:Commitf89b371pushedbyhyperpolymath
  main

  Oct 1, 202612s
  More actions for workflow run 189