CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore(deps): bump rust-overlay from 0173518 to 5b5c521

  completed successfully:
  CodeQL Security Analysis#286:Pull request#57synchronizebyhyperpolymath
  dependabot/nix/rust-overlay-5b5c521

  May 23, 20265m 15s
  More actions for workflow run 286

• chore(deps): bump nixpkgs from da5ad66 to f83fc3c (#58)

  cancelled:
  CodeQL Security Analysis#285:Commit783fee3pushedbyhyperpolymath
  main

  May 23, 202613s
  More actions for workflow run 285

• chore(deps): bump nixpkgs from da5ad66 to f83fc3c

  completed successfully:
  CodeQL Security Analysis#284:Pull request#58openedbydependabot[bot]Bot
  dependabot/nix/nixpkgs-f83fc3c

  May 22, 20267h 33m 56s
  More actions for workflow run 284

• chore(deps): bump rust-overlay from 0173518 to 5b5c521

  completed successfully:
  CodeQL Security Analysis#283:Pull request#57openedbydependabot[bot]Bot
  dependabot/nix/rust-overlay-5b5c521

  May 22, 20267h 28m 31s
  More actions for workflow run 283

• Add workflow-linter.yml prevention workflow

  completed successfully:
  CodeQL Security Analysis#282:Commit5ae569fpushedbyhyperpolymath
  main

  May 22, 20266h 17m 40s
  More actions for workflow run 282

• test: port export.test.ts + privacy.test.ts → Idris2 (4/4 files; esta…

  completed successfully:
  CodeQL Security Analysis#281:Commit4bebda3pushedbyhyperpolymath
  main

  May 20, 202611h 43m 7s
  More actions for workflow run 281

• test: port export.test.ts + privacy.test.ts → Idris2 (4/4 files; estate port 6/11 complete)

  completed successfully:
  CodeQL Security Analysis#280:Pull request#56openedbyhyperpolymath
  feat/port-export-privacy-tests

  May 20, 202611h 33m 24s
  More actions for workflow run 280

• test: port core.test.ts → Idris2 (partial; estate port 6/11, file 1 o…

  cancelled:
  CodeQL Security Analysis#279:Commitd1c150apushedbyhyperpolymath
  main

  May 20, 202614m 57s
  More actions for workflow run 279

• test: port core.test.ts → Idris2 (partial; estate port 6/11, file 1 of 4)

  completed successfully:
  CodeQL Security Analysis#278:Pull request#55synchronizebyhyperpolymath
  feat/port-core-tests-to-idris2

  May 20, 20264m 28s
  More actions for workflow run 278

• test: port core.test.ts → Idris2 (partial; estate port 6/11, file 1 of 4)

  completed successfully:
  CodeQL Security Analysis#277:Pull request#55openedbyhyperpolymath
  feat/port-core-tests-to-idris2

  May 20, 20261m 19s
  More actions for workflow run 277

• docs(flake): annotate KEEP+DEP rationale (standards#102) (#54)

  completed successfully:
  CodeQL Security Analysis#276:Commitae9a5a0pushedbyhyperpolymath
  main

  May 19, 20261h 21m 52s
  More actions for workflow run 276

• docs(flake): annotate KEEP+DEP rationale (standards#102)

  completed successfully:
  CodeQL Security Analysis#275:Pull request#54synchronizebyhyperpolymath
  keep-nix-mirror-101-rust-wasm-rescript

  May 19, 20261h 23m 21s
  More actions for workflow run 275

• docs(flake): annotate KEEP+DEP rationale (standards#102)

  cancelled:
  CodeQL Security Analysis#274:Pull request#54openedbyhyperpolymath
  keep-nix-mirror-101-rust-wasm-rescript

  May 19, 20262m 30s
  More actions for workflow run 274

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

  completed successfully:
  CodeQL Security Analysis#273:Commit931cb8bpushedbyhyperpolymath
  main

  May 19, 202634m 33s
  More actions for workflow run 273

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

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

  May 19, 202627m 27s
  More actions for workflow run 272

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

  completed successfully:
  CodeQL Security Analysis#271:Commit385df53pushedbyhyperpolymath
  main

  May 19, 202621m 1s
  More actions for workflow run 271

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

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

  May 19, 20267m 36s
  More actions for workflow run 270

• fix(licence): #3 isolated — clear scaffold-placeholder leak (ubicity)…

  completed successfully:
  CodeQL Security Analysis#269:Commitf900c95pushedbyhyperpolymath
  main

  May 19, 20266h 1m 34s
  More actions for workflow run 269

• fix(licence): #3 isolated — clear scaffold-placeholder leak (ubicity)

  completed successfully:
  CodeQL Security Analysis#268:Pull request#51synchronizebyhyperpolymath
  licence-debt/03-final-placeholder

  May 19, 202612h 6m 4s
  More actions for workflow run 268

• fix(licence): #3 isolated — clear scaffold-placeholder leak (ubicity)

  cancelled:
  CodeQL Security Analysis#267:Pull request#51openedbyhyperpolymath
  licence-debt/03-final-placeholder

  May 19, 202611m 30s
  More actions for workflow run 267

• ci: redistribute concurrency-cancel guard to read-only check workflow…

  completed successfully:
  CodeQL Security Analysis#266:Commit3092e08pushedbyhyperpolymath
  main

  May 18, 202616h 58m 27s
  More actions for workflow run 266

• ci: redistribute concurrency-cancel guard to read-only check workflows

  completed successfully:
  CodeQL Security Analysis#265:Pull request#50openedbyhyperpolymath
  sweep/standards-122-concurrency

  May 18, 202616h 59m 46s
  More actions for workflow run 265

• CodeQL Security Analysis

  cancelled:
  CodeQL Security Analysis#264:Scheduled
  main

  May 18, 20261h 21m 57s
  More actions for workflow run 264

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

  cancelled:
  CodeQL Security Analysis#263:Commit252adfdpushedbyhyperpolymath
  main

  May 18, 202654m 18s
  More actions for workflow run 263

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

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

  May 18, 20267h 5m 42s
  More actions for workflow run 262