🟡 Check: CodeQL security analysis

Workflow runs for 🟡 Check: CodeQL security analysis

• 🟡 Check: CodeQL security analysis

  failed at startup:
  🟡 Check: CodeQL security analysis#80:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-7a5a078ad4

  Jul 29, 2026Startup failure
  More actions for workflow run 80

• fix(ci): Bun-first runtime policy; retire two gates that enforced the…

  completed successfully:
  🟡 Check: CodeQL security analysis#79:Commitf3ac0fepushedbyhyperpolymath
  main

  Jul 29, 202619m 35s
  More actions for workflow run 79

• fix(ci): Bun-first runtime policy; retire two gates that enforced the opposite

  completed successfully:
  🟡 Check: CodeQL security analysis#78:Pull request#35openedbyhyperpolymath
  fix/runtime-policy-bun-first

  Jul 29, 202615m 50s
  More actions for workflow run 78

• fix(ci): actually run the verdict round-trip against the reference ch…

  completed successfully:
  🟡 Check: CodeQL security analysis#77:Commit90260f4pushedbyhyperpolymath
  main

  Jul 28, 202653s
  More actions for workflow run 77

• fix(ci): actually run the verdict round-trip against the reference checker

  completed successfully:
  🟡 Check: CodeQL security analysis#76:Pull request#34openedbyhyperpolymath
  fix/real-verdict-round-trip

  Jul 28, 202648s
  More actions for workflow run 76

• chore: remove obsolete/corrupted check-no-vlang.sh gate (#33)

  completed successfully:
  🟡 Check: CodeQL security analysis#75:Commite765e0fpushedbyhyperpolymath
  main

  Jul 27, 202647s
  More actions for workflow run 75

• chore: remove obsolete/corrupted check-no-vlang.sh gate

  completed successfully:
  🟡 Check: CodeQL security analysis#74:Pull request#33openedbyhyperpolymath
  chore/remove-obsolete-vlang-check

  Jul 27, 20261m 57s
  More actions for workflow run 74

• fix(ci): install jq in the container so the Trope IR test actually ru…

  completed successfully:
  🟡 Check: CodeQL security analysis#73:Commit481e11bpushedbyhyperpolymath
  main

  Jul 27, 202611m 34s
  More actions for workflow run 73

• fix(ci): install jq in the container so the Trope IR test actually runs

  completed successfully:
  🟡 Check: CodeQL security analysis#72:Pull request#32openedbyhyperpolymath
  fix/ci-container-prereqs

  Jul 27, 202611m 4s
  More actions for workflow run 72

• fix(ci): align the Idris2 version assert with the pinned image (0.8.0…

  completed successfully:
  🟡 Check: CodeQL security analysis#71:Commitd29f89epushedbyhyperpolymath
  main

  Jul 27, 20261m 5s
  More actions for workflow run 71

• fix(ci): align the Idris2 version assert with the pinned image (0.8.0)

  completed successfully:
  🟡 Check: CodeQL security analysis#70:Pull request#31openedbyhyperpolymath
  fix/idris2-version-0-8-0

  Jul 27, 20261m 0s
  More actions for workflow run 70

• fix(ci): make the toolchain version asserts diagnosable (#30)

  completed successfully:
  🟡 Check: CodeQL security analysis#69:Commitcbcee72pushedbyhyperpolymath
  main

  Jul 27, 202640s
  More actions for workflow run 69

• fix(ci): make the toolchain version asserts diagnosable

  completed successfully:
  🟡 Check: CodeQL security analysis#68:Pull request#30openedbyhyperpolymath
  fix/toolchain-version-asserts

  Jul 27, 20261m 0s
  More actions for workflow run 68

• fix(ci): resolve the four standing CI/CD failures at their roots (#29)

  completed successfully:
  🟡 Check: CodeQL security analysis#67:Commite0fae51pushedbyhyperpolymath
  main

  Jul 27, 20261m 9s
  More actions for workflow run 67

• fix(ci): resolve the four standing CI/CD failures at their roots

  completed successfully:
  🟡 Check: CodeQL security analysis#66:Pull request#29synchronizebyhyperpolymath
  fix/cicd-foundations

  Jul 27, 202645s
  More actions for workflow run 66

• fix(ci): resolve the four standing CI/CD failures at their roots

  completed successfully:
  🟡 Check: CodeQL security analysis#65:Pull request#29openedbyhyperpolymath
  fix/cicd-foundations

  Jul 27, 20261m 28s
  More actions for workflow run 65

• fix(ci): unblock the now-honest static-analysis gate and the Idris2 C…

  completed successfully:
  🟡 Check: CodeQL security analysis#64:Commit56e207epushedbyhyperpolymath
  main

  Jul 27, 20262m 8s
  More actions for workflow run 64

• fix(ci): unblock the now-honest static-analysis gate and the Idris2 CI job

  completed successfully:
  🟡 Check: CodeQL security analysis#63:Pull request#28openedbyhyperpolymath
  fix/post-27-gate-and-zig

  Jul 27, 202656s
  More actions for workflow run 63

• ci: consolidate Haec gates, repair K9 envelopes and FFI validation (#27)

  completed successfully:
  🟡 Check: CodeQL security analysis#62:Commit3ffd80epushedbyhyperpolymath
  main

  Jul 27, 202648s
  More actions for workflow run 62

• ci: consolidate Haec gates, repair K9 envelopes and FFI validation

  completed successfully:
  🟡 Check: CodeQL security analysis#61:Pull request#27synchronizebyhyperpolymath
  fix/consolidate-dogfood-gate

  Jul 27, 202640s
  More actions for workflow run 61

• fix(ci): remove three workflows that never parse (startup_failure) (#26)

  completed successfully:
  🟡 Check: CodeQL security analysis#60:Commit3b77e9epushedbyhyperpolymath
  main

  Jul 27, 202647s
  More actions for workflow run 60

• fix(ci): remove three workflows that never parse (startup_failure)

  completed successfully:
  🟡 Check: CodeQL security analysis#59:Pull request#26synchronizebyhyperpolymath
  fix/startup-failure-workflows

  Jul 27, 202639s
  More actions for workflow run 59

• chore(deps): bump the actions group with 5 updates (#25)

  completed successfully:
  🟡 Check: CodeQL security analysis#58:Commit50201a0pushedbyhyperpolymath
  main

  Jul 27, 202647s
  More actions for workflow run 58

• fix(ci): remove three workflows that never parse (startup_failure)

  completed successfully:
  🟡 Check: CodeQL security analysis#57:Pull request#26openedbyhyperpolymath
  fix/startup-failure-workflows

  Jul 27, 202645s
  More actions for workflow run 57

• 🟡 Check: CodeQL security analysis

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

  Jul 27, 202644s
  More actions for workflow run 56