CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• ci(scorecard): cure the 20/20 startup death and emit SARIF (#168)

  completed successfully:
  CodeQL Security Analysis#340:Pull request#169openedbyhyperpolymath
  fix/168-scorecard-caller

  Sep 22, 20267m 47s
  More actions for workflow run 340

• fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axi…

  completed successfully:
  CodeQL Security Analysis#339:Commit828399apushedbyhyperpolymath
  main

  Sep 22, 20263m 3s
  More actions for workflow run 339

• fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job

  completed successfully:
  CodeQL Security Analysis#338:Pull request#165synchronizebycoderabbitai[bot]Bot
  fix/125-lean-axiom-preconditions

  Sep 22, 20262m 52s
  More actions for workflow run 338

• fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job

  completed successfully:
  CodeQL Security Analysis#337:Pull request#165synchronizebyhyperpolymath
  fix/125-lean-axiom-preconditions

  Sep 22, 20262m 47s
  More actions for workflow run 337

• fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job

  completed successfully:
  CodeQL Security Analysis#336:Pull request#165openedbyhyperpolymath
  fix/125-lean-axiom-preconditions

  Sep 22, 20262m 35s
  More actions for workflow run 336

• fix(ci): cure the three main reds — drop Deno CI (#160), bump governa…

  completed successfully:
  CodeQL Security Analysis#335:Commit3c8796apushedbyhyperpolymath
  main

  Sep 22, 20263m 4s
  More actions for workflow run 335

• fix(ci): cure the three main reds — drop Deno CI (#160), bump governance to standards@fad242d3 (#163)

  completed successfully:
  CodeQL Security Analysis#334:Pull request#164openedbyhyperpolymath
  fix/160-163-cure-main-reds

  Sep 22, 20262m 29s
  More actions for workflow run 334

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

  completed successfully:
  CodeQL Security Analysis#333:Commit74202cbpushedbyhyperpolymath
  main

  Sep 21, 20263h 49m 20s
  More actions for workflow run 333

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

  completed successfully:
  CodeQL Security Analysis#332:Pull request#159openedbyhyperpolymath
  fix/lockfile-reconcile

  Sep 21, 20263h 44m 13s
  More actions for workflow run 332

• fix(ci): correct reusable-workflow caller permissions and inputs (#158)

  completed successfully:
  CodeQL Security Analysis#331:Commita551037pushedbyhyperpolymath
  main

  Sep 21, 20263m 2s
  More actions for workflow run 331

• fix(ci): correct reusable-workflow caller permissions and inputs

  completed successfully:
  CodeQL Security Analysis#330:Pull request#158openedbyhyperpolymath
  fix/reusable-caller-permissions-3

  Sep 21, 20262m 34s
  More actions for workflow run 330

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

  completed successfully:
  CodeQL Security Analysis#329:Commit8239e52pushedbyhyperpolymath
  main

  Sep 20, 20264m 30s
  More actions for workflow run 329

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

  completed successfully:
  CodeQL Security Analysis#328:Pull request#157synchronizebyhyperpolymath
  fix/sha-pin-actions

  Sep 19, 202616m 5s
  More actions for workflow run 328

• CodeQL Security Analysis

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

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

• docs(claude): point package management at files that exist (#156)

  completed successfully:
  CodeQL Security Analysis#326:Commit76308c9pushedbyhyperpolymath
  main

  Sep 19, 202616m 11s
  More actions for workflow run 326

• docs(claude): point package management at files that exist

  completed successfully:
  CodeQL Security Analysis#325:Pull request#156openedbyhyperpolymath
  docs/refresh-package-management-paths

  Sep 19, 20264m 23s
  More actions for workflow run 325

• refactor(root): relocate the contributing guide into .github/ (#155)

  completed successfully:
  CodeQL Security Analysis#324:Commitbadb2c8pushedbyhyperpolymath
  main

  Sep 19, 202625m 26s
  More actions for workflow run 324

• refactor(root): relocate the contributing guide into .github/

  completed successfully:
  CodeQL Security Analysis#323:Pull request#155openedbyhyperpolymath
  refactor/contributing-guide-relocation

  Sep 19, 202626m 0s
  More actions for workflow run 323

• chore(deps): bump docker/build-push-action from 7.3.0 to 7.4.0 in the…

  completed successfully:
  CodeQL Security Analysis#322:Commit4264485pushedbyhyperpolymath
  main

  Sep 18, 20262m 59s
  More actions for workflow run 322

• chore(deps): bump docker/build-push-action from 7.3.0 to 7.4.0 in the actions group

  completed successfully:
  CodeQL Security Analysis#321:Pull request#154openedbydependabot[bot]Bot
  dependabot/github_actions/actions-540b05cf07

  Sep 18, 20262m 7s
  More actions for workflow run 321

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

  completed successfully:
  CodeQL Security Analysis#320:Commit71be3bapushedbyhyperpolymath
  main

  Sep 18, 202624m 52s
  More actions for workflow run 320

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

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

  Sep 18, 202625m 2s
  More actions for workflow run 319

• chore(actions): relock drifted action pins (#152)

  completed successfully:
  CodeQL Security Analysis#318:Commit5fa9e32pushedbyhyperpolymath
  main

  Sep 15, 20267m 10s
  More actions for workflow run 318

• chore(actions): relock drifted action pins

  completed successfully:
  CodeQL Security Analysis#317:Pull request#152openedbyhyperpolymath
  fix/relock-actions-lock

  Sep 15, 20262m 33s
  More actions for workflow run 317

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

  failed at startup:
  CodeQL Security Analysis#316:Commit7236a1cpushedbyhyperpolymath
  main

  Sep 13, 2026Startup failure
  More actions for workflow run 316