CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#352:synchronizebyhyperpolymath
  arena/ae27db17-echo-types

  Oct 11, 2026Startup failure
  More actions for workflow run 352

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#351:synchronizebyhyperpolymath
  arena/ae27db17-echo-types

  Oct 11, 2026Startup failure
  More actions for workflow run 351

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#350:openedbyhyperpolymath
  arena/ae27db17-echo-types

  Oct 11, 2026Startup failure
  More actions for workflow run 350

• chore(deps): bump the actions group with 2 updates (#338)

  failed at startup:
  CodeQL Security Analysis#349:Commit5cfc1capushedbyhyperpolymath
  main

  Oct 10, 2026Startup failure
  More actions for workflow run 349

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#348:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-e062b07fec

  Oct 10, 2026Startup failure
  More actions for workflow run 348

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#347:Scheduled
  main

  Oct 5, 2026Startup failure
  More actions for workflow run 347

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

  failed at startup:
  CodeQL Security Analysis#346:Commitda140ccpushedbyhyperpolymath
  main

  Oct 3, 2026Startup failure
  More actions for workflow run 346

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#345:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-a63e66b24a

  Oct 3, 2026Startup failure
  More actions for workflow run 345

• docs: add Signed commits section to CONTRIBUTING (#333)

  completed successfully:
  CodeQL Security Analysis#344:Commit2be247apushedbyhyperpolymath
  main

  Oct 1, 20268m 0s
  More actions for workflow run 344

• docs(foundation): keep the 2026-05-18 history entries append-only (#336)

  completed successfully:
  CodeQL Security Analysis#343:Commit3b21ff7pushedbyhyperpolymath
  main

  Oct 1, 202646s
  More actions for workflow run 343

• docs(foundation): keep the 2026-05-18 history entries append-only

  completed successfully:
  CodeQL Security Analysis#342:Pull request#336openedbyhyperpolymath
  docs/foundation-history-append-only

  Oct 1, 202641s
  More actions for workflow run 342

• chore(agda): bump absolute-zero pin 3ff5cee7 -> f486c299 (Proofs gree…

  completed successfully:
  CodeQL Security Analysis#341:Commit511ef25pushedbyhyperpolymath
  main

  Oct 1, 20262m 14s
  More actions for workflow run 341

• chore(agda): bump absolute-zero pin 3ff5cee7 -> f486c299 (Proofs green on main)

  completed successfully:
  CodeQL Security Analysis#340:Pull request#334openedbyhyperpolymath
  chore/bump-absz-pin

  Oct 1, 202643s
  More actions for workflow run 340

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  CodeQL Security Analysis#339:Pull request#333openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202620m 22s
  More actions for workflow run 339

• docs(citation): add the author's ORCID (0000-0002-3078-6652) to citat…

  completed successfully:
  CodeQL Security Analysis#338:Commitfe10080pushedbyhyperpolymath
  main

  Oct 1, 20263m 16s
  More actions for workflow run 338

• 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