.github/workflows/codeql.yml

Workflow runs for .github/workflows/codeql.yml

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4)

  failed:
  .github/workflows/codeql.yml#50:Pull request#19byhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 50

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4)

  failed:
  .github/workflows/codeql.yml#49:Pull request#19byhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 49

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4)

  failed:
  .github/workflows/codeql.yml#48:Pull request#19byhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 48

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4)

  failed:
  .github/workflows/codeql.yml#47:Pull request#19byhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 47

• fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4)

  failed:
  .github/workflows/codeql.yml#46:Pull request#19byhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 46

• ci(proofs): type-check the Agda corpus here and quarantine its trust …

  failed:
  .github/workflows/codeql.yml#45:Commita5e3225pushedbyhyperpolymath
  main

  Oct 4, 2026Failure
  More actions for workflow run 45

• ci(proofs): type-check the Agda corpus here and quarantine its trust base (fixes #4)

  failed:
  .github/workflows/codeql.yml#44:Pull request#18byhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 44

• ci(proofs): type-check the Agda corpus here and quarantine its trust base (fixes #4)

  failed:
  .github/workflows/codeql.yml#43:Pull request#18byhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 43

• ci(proofs): type-check the Agda corpus here and quarantine its trust base (fixes #4)

  failed:
  .github/workflows/codeql.yml#42:Pull request#18byhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 42

• ci(proofs): type-check the Agda corpus here and quarantine its trust base (fixes #4)

  failed:
  .github/workflows/codeql.yml#41:Pull request#18byhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 41

• ci(proofs): type-check the Agda corpus here and quarantine its trust base (fixes #4)

  failed:
  .github/workflows/codeql.yml#40:Pull request#18byhyperpolymath
  arena/01a10472-lol

  Oct 4, 2026Failure
  More actions for workflow run 40

• chore(deps-dev): bump vitest from 4.1.11 to 5.0.2 (#16)

  failed:
  .github/workflows/codeql.yml#39:Commitd43089epushedbyhyperpolymath
  main

  Oct 3, 2026Failure
  More actions for workflow run 39

• chore(deps-dev): bump vitest from 4.1.11 to 5.0.2

  failed:
  .github/workflows/codeql.yml#38:Pull request#16byhyperpolymath
  dependabot/npm_and_yarn/vitest-5.0.2

  Oct 3, 2026Failure
  More actions for workflow run 38

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

  failed:
  .github/workflows/codeql.yml#37:Commit2c5a2eepushedbyhyperpolymath
  main

  Oct 1, 2026Failure
  More actions for workflow run 37

• docs: add Signed commits section to CONTRIBUTING

  failed:
  .github/workflows/codeql.yml#36:Pull request#17byhyperpolymath
  docs/signing-policy-d218

  Oct 1, 2026Failure
  More actions for workflow run 36

• chore(deps-dev): bump vitest from 4.1.11 to 5.0.2

  failed:
  .github/workflows/codeql.yml#35:Pull request#16bydependabot[bot]Bot
  dependabot/npm_and_yarn/vitest-5.0.2

  Oct 1, 2026Failure
  More actions for workflow run 35

• .github/workflows/codeql.yml

  failed:
  .github/workflows/codeql.yml#34:Scheduled
  main

  Sep 28, 2026Failure
  More actions for workflow run 34

• chore(deps-dev): bump vitest from 4.1.11 to 5.0.1

  failed:
  .github/workflows/codeql.yml#33:Pull request#15bydependabot[bot]Bot
  dependabot/npm_and_yarn/vitest-5.0.1

  Sep 21, 2026Failure
  More actions for workflow run 33

• chore(ci): replace Ruby Pages build with Bun/Node publisher (#14)

  failed:
  .github/workflows/codeql.yml#32:Commita542244pushedbyhyperpolymath
  main

  Sep 21, 2026-1s
  More actions for workflow run 32

• chore(ci): replace Ruby Pages build with Bun/Node publisher

  failed:
  .github/workflows/codeql.yml#31:Pull request#14byhyperpolymath
  chore/ruby-exit-pages-on-bun

  Sep 21, 2026Failure
  More actions for workflow run 31

• fix(ci): give callers the union of the reusable's declared permission…

  failed:
  .github/workflows/codeql.yml#30:Commit9932f05pushedbyhyperpolymath
  main

  Sep 21, 2026Failure
  More actions for workflow run 30

• fix(ci): give callers the union of the reusable's declared permissions

  failed:
  .github/workflows/codeql.yml#29:Pull request#13byhyperpolymath
  fix/caller-permissions-union

  Sep 21, 2026Failure
  More actions for workflow run 29

• .github/workflows/codeql.yml

  failed:
  .github/workflows/codeql.yml#28:Scheduled
  main

  Sep 21, 2026Failure
  More actions for workflow run 28

• ci(hypatia): standardise the wrapper caller id to the canonical `hypa…

  failed:
  .github/workflows/codeql.yml#27:Commitf810a3bpushedbyhyperpolymath
  main

  Sep 20, 2026Failure
  More actions for workflow run 27

• ci(hypatia): standardise the wrapper caller id to the canonical hypatia

  failed:
  .github/workflows/codeql.yml#26:Pull request#12byhyperpolymath
  fix/hypatia-caller-id

  Sep 20, 2026Failure
  More actions for workflow run 26