CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore: retire the 27 .a2ml records (owner ruling 2026-09-30) (#332)

  completed successfully:
  CodeQL Security Analysis#337:Commitab48b28pushedbyhyperpolymath
  main

  Sep 30, 202651s
  More actions for workflow run 337

• chore: retire the 27 .a2ml records (owner ruling 2026-09-30)

  completed successfully:
  CodeQL Security Analysis#336:Pull request#332synchronizebyhyperpolymath
  chore/retire-a2ml-records

  Sep 30, 202645s
  More actions for workflow run 336

• chore: retire the 27 .a2ml records (owner ruling 2026-09-30)

  completed successfully:
  CodeQL Security Analysis#335:Pull request#332openedbyhyperpolymath
  chore/retire-a2ml-records

  Sep 30, 202655s
  More actions for workflow run 335

• fix(agda): resolve the two unsolved metas in EchoHaplotypeCollapsing (#329)

  completed successfully:
  CodeQL Security Analysis#334:Pull request#331openedbyhyperpolymath
  fix/329-haplotype-collapsing-metas

  Sep 30, 202647s
  More actions for workflow run 334

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#333:Scheduled
  main

  Sep 28, 202647s
  More actions for workflow run 333

• fix(agda): restore main typecheck — carry the fiber invariant in Fibe…

  completed successfully:
  CodeQL Security Analysis#332:Commit39a7a99pushedbyhyperpolymath
  main

  Sep 27, 202653s
  More actions for workflow run 332

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#331:synchronizebyarena-ai-coding-agent[bot]Bot
  arena/01a0e508-echo-types

  Sep 27, 2026Startup failure
  More actions for workflow run 331

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#330:openedbyarena-ai-coding-agent[bot]Bot
  arena/01a0e508-echo-types

  Sep 27, 2026Startup failure
  More actions for workflow run 330

• feat(applications): haplotype collapsing as Echo fiber (#327)

  failed at startup:
  CodeQL Security Analysis#329:Commit1f67753pushedbyhyperpolymath
  main

  Sep 27, 2026Startup failure
  More actions for workflow run 329

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#328:openedbyhyperpolymath
  arena/01a0e040-echo-types

  Sep 27, 2026Startup failure
  More actions for workflow run 328

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

  failed at startup:
  CodeQL Security Analysis#327:Commitcd9aa40pushedbyhyperpolymath
  main

  Sep 26, 2026-1s
  More actions for workflow run 327

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#326:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-71fcf20ecc

  Sep 26, 2026Startup failure
  More actions for workflow run 326

• proofs(agda): preserve the bit-narrowing exhibits from unpushed commi…

  completed successfully:
  CodeQL Security Analysis#325:Commite6e7ee7pushedbyhyperpolymath
  main

  Sep 26, 202644s
  More actions for workflow run 325

• proofs(agda): preserve the bit-narrowing exhibits from unpushed commi…

  completed successfully:
  CodeQL Security Analysis#324:Pull request#325openedbyhyperpolymath
  preserve/bit-narrowing-agda-2026-09-11

  Sep 26, 202651s
  More actions for workflow run 324

• fix(ci): reconcile actions.lock so the lockfile validates (#319)

  completed successfully:
  CodeQL Security Analysis#323:Commit9c4b72bpushedbyhyperpolymath
  main

  Sep 21, 20264h 59m 57s
  More actions for workflow run 323

• fix(ci): reconcile actions.lock so the lockfile validates

  completed successfully:
  CodeQL Security Analysis#322:Pull request#319openedbyhyperpolymath
  fix/lockfile-reconcile

  Sep 21, 20264h 58m 1s
  More actions for workflow run 322

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#321:Scheduled
  main

  Sep 21, 20261m 15s
  More actions for workflow run 321

• fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) …

  completed successfully:
  CodeQL Security Analysis#320:Commit5f8f65cpushedbyhyperpolymath
  main

  Sep 20, 20265m 38s
  More actions for workflow run 320

• fix(ci): reconcile the workflows with actions.lock (gh-actions-lock)

  completed successfully:
  CodeQL Security Analysis#319:Pull request#318openedbyhyperpolymath
  fix/sha-pin-actions

  Sep 20, 202644s
  More actions for workflow run 319

• fix(ci): pin third-party actions to full commit SHAs (#317)

  failed at startup:
  CodeQL Security Analysis#318:Commit6f419c6pushedbyhyperpolymath
  main

  Sep 20, 2026Startup failure
  More actions for workflow run 318

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#317:openedbyhyperpolymath
  fix/sha-pin-actions

  Sep 19, 2026Startup failure
  More actions for workflow run 317

• refactor(root): move root artefacts to their canonical locations (#316)

  completed successfully:
  CodeQL Security Analysis#316:Commit56c1c13pushedbyhyperpolymath
  main

  Sep 19, 20261h 3m 38s
  More actions for workflow run 316

• refactor(root): move root artefacts to their canonical locations

  completed successfully:
  CodeQL Security Analysis#315:Pull request#316openedbyhyperpolymath
  refactor/root-shape-rollout

  Sep 19, 20261h 3m 48s
  More actions for workflow run 315

• chore(www): migrate root .well-known/ to www/.well-known/ (#315)

  completed successfully:
  CodeQL Security Analysis#314:Commitd48e4fbpushedbyhyperpolymath
  main

  Sep 18, 20261h 2m 45s
  More actions for workflow run 314

• chore(www): migrate root .well-known/ to www/.well-known/

  completed successfully:
  CodeQL Security Analysis#313:Pull request#315openedbyhyperpolymath
  chore/well-known-to-www

  Sep 18, 20261h 4m 18s
  More actions for workflow run 313