🟡 Check: CodeQL security analysis

Workflow runs for 🟡 Check: CodeQL security analysis

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

  completed successfully:
  🟡 Check: CodeQL security analysis#230:Commit7083d19pushedbyhyperpolymath
  main

  Nov 10, 20261m 3s
  More actions for workflow run 230

• Say what verification/proofs/ actually contains

  completed successfully:
  🟡 Check: CodeQL security analysis#229:Pull request#86synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 202641m 59s
  More actions for workflow run 229

• Say what verification/proofs/ actually contains

  completed successfully:
  🟡 Check: CodeQL security analysis#228:Pull request#86synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 9, 202622m 9s
  More actions for workflow run 228

• Say what verification/proofs/ actually contains

  cancelled:
  🟡 Check: CodeQL security analysis#227:Pull request#86openedbyhyperpolymath
  claude/new-session-snuoro

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

• 🟡 Check: CodeQL security analysis

  completed successfully:
  🟡 Check: CodeQL security analysis#226:Scheduled
  main

  Nov 9, 202656s
  More actions for workflow run 226

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

  completed successfully:
  🟡 Check: CodeQL security analysis#225:Commit771555bpushedbyhyperpolymath
  main

  Nov 5, 20261m 3s
  More actions for workflow run 225

• 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:
  🟡 Check: CodeQL security analysis#224:Pull request#85synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 20261m 36s
  More actions for workflow run 224

• 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:
  🟡 Check: CodeQL security analysis#223:Pull request#85synchronizebyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 202642s
  More actions for workflow run 223

• 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:
  🟡 Check: CodeQL security analysis#222:Pull request#85openedbyhyperpolymath
  claude/new-session-snuoro

  Nov 4, 20263m 9s
  More actions for workflow run 222

• 🟡 Check: CodeQL security analysis

  completed successfully:
  🟡 Check: CodeQL security analysis#221:Scheduled
  main

  Nov 2, 202640s
  More actions for workflow run 221

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

  completed successfully:
  🟡 Check: CodeQL security analysis#220:Commit6b36491pushedbyhyperpolymath
  main

  Oct 28, 202648s
  More actions for workflow run 220

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

  completed successfully:
  🟡 Check: CodeQL security analysis#219:Pull request#84openedbydependabot[bot]Bot
  dependabot/github_actions/actions-00a1a19959

  Oct 28, 202647s
  More actions for workflow run 219

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

  completed successfully:
  🟡 Check: CodeQL security analysis#218:Commit66e4f11pushedbyhyperpolymath
  main

  Oct 27, 202645s
  More actions for workflow run 218

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

  completed successfully:
  🟡 Check: CodeQL security analysis#217:Pull request#81synchronizebycoderabbitai[bot]Bot
  claude/new-session-snuoro

  Oct 27, 202648s
  More actions for workflow run 217

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

  completed successfully:
  🟡 Check: CodeQL security analysis#216:Pull request#81synchronizebyhyperpolymath
  claude/new-session-snuoro

  Oct 27, 20264m 53s
  More actions for workflow run 216

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

  completed successfully:
  🟡 Check: CodeQL security analysis#215:Pull request#81synchronizebycoderabbitai[bot]Bot
  claude/new-session-snuoro

  Oct 27, 202647s
  More actions for workflow run 215

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

  completed successfully:
  🟡 Check: CodeQL security analysis#214:Pull request#81synchronizebyhyperpolymath
  claude/new-session-snuoro

  Oct 27, 202647s
  More actions for workflow run 214

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

  completed successfully:
  🟡 Check: CodeQL security analysis#213:Pull request#81openedbyhyperpolymath
  claude/new-session-snuoro

  Oct 27, 202647s
  More actions for workflow run 213

• 🟡 Check: CodeQL security analysis

  completed successfully:
  🟡 Check: CodeQL security analysis#212:Scheduled
  main

  Oct 26, 202638s
  More actions for workflow run 212

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

  completed successfully:
  🟡 Check: CodeQL security analysis#211:Commite9bee39pushedbyhyperpolymath
  main

  Oct 21, 20261m 44s
  More actions for workflow run 211

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

  completed successfully:
  🟡 Check: CodeQL security analysis#210:Pull request#80openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 21, 202650s
  More actions for workflow run 210

• 🟡 Check: CodeQL security analysis

  completed successfully:
  🟡 Check: CodeQL security analysis#209:Scheduled
  main

  Oct 19, 202646s
  More actions for workflow run 209

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

  completed successfully:
  🟡 Check: CodeQL security analysis#208:Commitc648352pushedbyhyperpolymath
  main

  Oct 14, 202659s
  More actions for workflow run 208

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

  completed successfully:
  🟡 Check: CodeQL security analysis#207:Pull request#79openedbydependabot[bot]Bot
  dependabot/github_actions/actions-47d671327e

  Oct 14, 202652s
  More actions for workflow run 207

• 🟡 Check: CodeQL security analysis

  failed at startup:
  🟡 Check: CodeQL security analysis#206:Scheduled
  main

  Oct 12, 2026Startup failure
  More actions for workflow run 206