🟡 Check: CodeQL security analysis

Workflow runs for 🟡 Check: CodeQL security analysis

• chore(ci): add dormant push-email notification workflow (#39)

  cancelled:
  🟡 Check: CodeQL security analysis#95:Commitbe33015pushedbyhyperpolymath
  main

  Jul 29, 202632s
  More actions for workflow run 95

• chore(ci): add dormant push-email notification workflow

  completed successfully:
  🟡 Check: CodeQL security analysis#94:Pull request#39synchronizebyhyperpolymath
  chore/push-email-notify

  Jul 29, 202653s
  More actions for workflow run 94

• fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#40)

  completed successfully:
  🟡 Check: CodeQL security analysis#93:Commit43e8559pushedbyhyperpolymath
  main

  Jul 29, 202648s
  More actions for workflow run 93

• fix(ci): re-pin rust-ci-reusable past toolchain-input breakage

  completed successfully:
  🟡 Check: CodeQL security analysis#92:Pull request#40synchronizebyhyperpolymath
  ci/repin-rust-ci-reusable-412a7031

  Jul 29, 202643s
  More actions for workflow run 92

• Ci/repin standards reusables d7c2271 (#41)

  cancelled:
  🟡 Check: CodeQL security analysis#91:Commit3fb49dapushedbyhyperpolymath
  main

  Jul 29, 202639s
  More actions for workflow run 91

• Ci/repin standards reusables d7c2271

  completed successfully:
  🟡 Check: CodeQL security analysis#90:Pull request#41synchronizebyhyperpolymath
  ci/repin-standards-reusables-d7c2271

  Jul 29, 202643s
  More actions for workflow run 90

• Fix/toolchain version asserts

  completed successfully:
  🟡 Check: CodeQL security analysis#89:Pull request#45synchronizebyhyperpolymath
  fix/toolchain-version-asserts

  Jul 29, 202641s
  More actions for workflow run 89

• Fix/toolchain version asserts

  cancelled:
  🟡 Check: CodeQL security analysis#88:Pull request#45openedbyhyperpolymath
  fix/toolchain-version-asserts

  Jul 29, 202617s
  More actions for workflow run 88

• chore(ir): refresh vendored Trope IR schema to 0.2 (R-2026-07-07)

  completed successfully:
  🟡 Check: CodeQL security analysis#87:Pull request#42synchronizebyhyperpolymath
  feat/vendored-ir-0.2

  Jul 29, 202646s
  More actions for workflow run 87

• chore(ir): refresh vendored Trope IR schema to 0.2 (R-2026-07-07)

  cancelled:
  🟡 Check: CodeQL security analysis#86:Pull request#42openedbyhyperpolymath
  feat/vendored-ir-0.2

  Jul 29, 202611s
  More actions for workflow run 86

• fix(ci): re-pin rust-ci-reusable past toolchain-input breakage

  completed successfully:
  🟡 Check: CodeQL security analysis#85:Pull request#40synchronizebyhyperpolymath
  ci/repin-rust-ci-reusable-412a7031

  Jul 29, 202649s
  More actions for workflow run 85

• fix(ci): re-pin rust-ci-reusable past toolchain-input breakage

  cancelled:
  🟡 Check: CodeQL security analysis#84:Pull request#40openedbyhyperpolymath
  ci/repin-rust-ci-reusable-412a7031

  Jul 29, 202610s
  More actions for workflow run 84

• chore(ci): add dormant push-email notification workflow

  completed successfully:
  🟡 Check: CodeQL security analysis#83:Pull request#39synchronizebyhyperpolymath
  chore/push-email-notify

  Jul 29, 202651s
  More actions for workflow run 83

• chore(ci): add dormant push-email notification workflow

  cancelled:
  🟡 Check: CodeQL security analysis#82:Pull request#39openedbyhyperpolymath
  chore/push-email-notify

  Jul 29, 20269s
  More actions for workflow run 82

• chore(deps): bump actions/checkout from 6.0.2 to 7.0.1 in the actions…

  completed successfully:
  🟡 Check: CodeQL security analysis#81:Commit98c1b32pushedbyhyperpolymath
  main

  Jul 29, 202642s
  More actions for workflow run 81

• 🟡 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