CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore(deps): Bump the actions group with 2 updates

  completed successfully:
  CodeQL Security Analysis#187:Pull request#52openedbydependabot[bot]Bot
  dependabot/github_actions/actions-e29db5e6fa

  May 25, 202650s
  More actions for workflow run 187

• Add workflow-linter.yml prevention workflow

  completed successfully:
  CodeQL Security Analysis#186:Commiteac389fpushedbyhyperpolymath
  main

  May 22, 20266h 35m 59s
  More actions for workflow run 186

• chore: migrate license from PMPL-1.0-or-later to MPL-2.0

  completed successfully:
  CodeQL Security Analysis#185:Commitc2d450bpushedbyhyperpolymath
  main

  May 22, 20263h 35m 57s
  More actions for workflow run 185

• chore(deps): Bump the actions group across 1 directory with 3 updates…

  completed successfully:
  CodeQL Security Analysis#184:Commit2c600d8pushedbyhyperpolymath
  main

  May 20, 202612h 18m 42s
  More actions for workflow run 184

• chore(deps): Bump the actions group across 1 directory with 3 updates

  completed successfully:
  CodeQL Security Analysis#183:Pull request#47synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-93565b0ab9

  May 20, 202646s
  More actions for workflow run 183

• licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-onl…

  completed successfully:
  CodeQL Security Analysis#182:Commit932af33pushedbyhyperpolymath
  main

  May 19, 202636m 2s
  More actions for workflow run 182

• licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only)

  completed successfully:
  CodeQL Security Analysis#181:Pull request#51openedbyhyperpolymath
  licence-debt/07-pmpl-suffix

  May 19, 202629m 38s
  More actions for workflow run 181

• ci(spark): adopt estate SPARK Theatre Gate (#135) (#50)

  completed successfully:
  CodeQL Security Analysis#180:Commit9080e60pushedbyhyperpolymath
  main

  May 19, 202613m 53s
  More actions for workflow run 180

• ci(spark): adopt estate SPARK Theatre Gate (#135)

  completed successfully:
  CodeQL Security Analysis#179:Pull request#50openedbyhyperpolymath
  ci/adopt-spark-theatre-gate

  May 19, 20265m 13s
  More actions for workflow run 179

• docs(proof): modshells SPARK no-op exemption (reconcile stale audit) …

  completed successfully:
  CodeQL Security Analysis#178:Commitba9b072pushedbyhyperpolymath
  main

  May 19, 20263m 46s
  More actions for workflow run 178

• chore(deps): Bump the actions group across 1 directory with 3 updates

  completed successfully:
  CodeQL Security Analysis#177:Pull request#47synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-93565b0ab9

  May 19, 202632m 47s
  More actions for workflow run 177

• docs(proof): modshells SPARK no-op exemption (reconcile stale audit)

  completed successfully:
  CodeQL Security Analysis#176:Pull request#49openedbyhyperpolymath
  docs/spark-noop-exemption

  May 19, 20261h 30m 39s
  More actions for workflow run 176

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#175:Scheduled
  main

  May 18, 202613h 20m 11s
  More actions for workflow run 175

• harden(ci): concurrency-cancel guard on canonical check workflows (#48)

  cancelled:
  CodeQL Security Analysis#174:Commit103fdfapushedbyhyperpolymath
  main

  May 18, 202617m 28s
  More actions for workflow run 174

• harden(ci): concurrency-cancel guard on canonical check workflows

  completed successfully:
  CodeQL Security Analysis#173:Pull request#48openedbyhyperpolymath
  harden/ci-concurrency-estate-2026-05-18

  May 18, 202612h 5m 58s
  More actions for workflow run 173

• chore(deps): Bump the actions group across 1 directory with 3 updates

  completed successfully:
  CodeQL Security Analysis#172:Pull request#47openedbydependabot[bot]Bot
  dependabot/github_actions/actions-93565b0ab9

  May 18, 20265h 24m 48s
  More actions for workflow run 172

• fix(ci): sync hypatia-scan.yml to canonical (#46)

  completed successfully:
  CodeQL Security Analysis#171:Commit4b8eebbpushedbyhyperpolymath
  main

  May 17, 202622h 37m 54s
  More actions for workflow run 171

• fix(ci): sync hypatia-scan.yml to canonical

  completed successfully:
  CodeQL Security Analysis#170:Pull request#46openedbyhyperpolymath
  fix/hypatia-scan-canonical

  May 17, 202622h 32m 25s
  More actions for workflow run 170

• chore(ci): prune CI noise — single governance wrapper (verisimiser#59…

  completed successfully:
  CodeQL Security Analysis#169:Commit36c5059pushedbyhyperpolymath
  main

  May 17, 20268h 5m 24s
  More actions for workflow run 169

• chore(ci): prune CI noise — single governance wrapper (verisimiser#59)

  completed successfully:
  CodeQL Security Analysis#168:Pull request#45openedbyhyperpolymath
  chore/governance-wrapper-59

  May 17, 202650s
  More actions for workflow run 168

• chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faith…

  completed successfully:
  CodeQL Security Analysis#167:Commitfa390dapushedbyhyperpolymath
  main

  May 17, 20263m 30s
  More actions for workflow run 167

• chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faithful)

  completed successfully:
  CodeQL Security Analysis#166:Pull request#44synchronizebyhyperpolymath
  chore/item10-meta-family-scm-to-a2ml

  May 17, 202650s
  More actions for workflow run 166

• chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faithful)

  completed successfully:
  CodeQL Security Analysis#165:Pull request#44openedbyhyperpolymath
  chore/item10-meta-family-scm-to-a2ml

  May 17, 202647s
  More actions for workflow run 165

• chore: Item 10 — migrate STATE.scm → STATE.a2ml v2 thin journal (#43)

  completed successfully:
  CodeQL Security Analysis#164:Commit3eae06epushedbyhyperpolymath
  main

  May 16, 202611m 10s
  More actions for workflow run 164

• chore: Item 9 — retire ReScript guidance → AffineScript (#42)

  completed successfully:
  CodeQL Security Analysis#163:Commit65986aapushedbyhyperpolymath
  main

  May 16, 20268m 30s
  More actions for workflow run 163