CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• ci: refresh standards reusable pins to current HEAD (d7c2271) (#37)

  completed successfully:
  CodeQL Security Analysis#119:Commitd8da9f8pushedbyhyperpolymath
  main

  Jun 27, 20262h 20m 39s
  More actions for workflow run 119

• ci: refresh standards reusable pins to current HEAD (d7c2271)

  cancelled:
  CodeQL Security Analysis#118:Pull request#37openedbyhyperpolymath
  ci/repin-standards-reusables-d7c2271

  Jun 27, 20262s
  More actions for workflow run 118

• ci: add ABI↔FFI conformance gate (#36)

  completed successfully:
  CodeQL Security Analysis#117:Commit4d6a89bpushedbyhyperpolymath
  main

  Jun 26, 20261m 42s
  More actions for workflow run 117

• ci: add ABI↔FFI conformance gate

  completed successfully:
  CodeQL Security Analysis#116:Pull request#36openedbyhyperpolymath
  claude/new-session-1fphit

  Jun 26, 202656s
  More actions for workflow run 116

• Auto-install pinned Zig toolchain in setup + devcontainer (#35)

  completed successfully:
  CodeQL Security Analysis#115:Commit3394d2cpushedbyhyperpolymath
  main

  Jun 26, 20267m 11s
  More actions for workflow run 115

• Auto-install pinned Zig toolchain in setup + devcontainer

  completed successfully:
  CodeQL Security Analysis#114:Pull request#35openedbyhyperpolymath
  claude/new-session-1fphit

  Jun 26, 20262m 28s
  More actions for workflow run 114

• ABI: make Idris2 proofs genuinely compile + add machine-checked theor…

  completed successfully:
  CodeQL Security Analysis#113:Commit6fd121bpushedbyhyperpolymath
  main

  Jun 26, 20262m 0s
  More actions for workflow run 113

• ABI: make Idris2 proofs genuinely compile + add machine-checked theorems

  completed successfully:
  CodeQL Security Analysis#112:Pull request#34openedbyhyperpolymath
  claude/iseriser-proofs-review-rtdcwb

  Jun 26, 202651s
  More actions for workflow run 112

• Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#33)

  completed successfully:
  CodeQL Security Analysis#111:Commitf624126pushedbyhyperpolymath
  main

  Jun 26, 202651s
  More actions for workflow run 111

• Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs)

  completed successfully:
  CodeQL Security Analysis#110:Pull request#33openedbyhyperpolymath
  claude/iseriser-proofs-review-rtdcwb

  Jun 26, 202642s
  More actions for workflow run 110

• chore(ci): add dormant push-email notification workflow (#32)

  completed successfully:
  CodeQL Security Analysis#109:Commitbd0ed63pushedbyhyperpolymath
  main

  Jun 24, 202621h 20m 22s
  More actions for workflow run 109

• chore(ci): add dormant push-email notification workflow

  completed successfully:
  CodeQL Security Analysis#108:Pull request#32openedbyhyperpolymath
  chore/push-email-notify

  Jun 24, 202620h 21m 54s
  More actions for workflow run 108

• chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#31)

  cancelled:
  CodeQL Security Analysis#107:Commit4aacd8epushedbyhyperpolymath
  main

  Jun 24, 20261h 19m 55s
  More actions for workflow run 107

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair)

  completed successfully:
  CodeQL Security Analysis#106:Pull request#31openedbyhyperpolymath
  chore/licence-normalisation-2026-06-24

  Jun 24, 202618h 8m 28s
  More actions for workflow run 106

• chore(clade): backfill [status] lifecycle block (default active) (#30)

  cancelled:
  CodeQL Security Analysis#105:Commitf4c515epushedbyhyperpolymath
  main

  Jun 24, 202645m 2s
  More actions for workflow run 105

• chore(clade): backfill [status] lifecycle block

  completed successfully:
  CodeQL Security Analysis#104:Pull request#30openedbyhyperpolymath
  chore/clade-status-backfill

  Jun 24, 202615h 12m 9s
  More actions for workflow run 104

• chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#29)

  cancelled:
  CodeQL Security Analysis#103:Commit418d53fpushedbyhyperpolymath
  main

  Jun 24, 20261h 48m 52s
  More actions for workflow run 103

• chore(ci): bump standards reusable workflow pins

  completed successfully:
  CodeQL Security Analysis#102:Pull request#29openedbyhyperpolymath
  chore/bump-standards-pins-2026-06-24

  Jun 24, 20267h 1m 40s
  More actions for workflow run 102

• chore(nix->guix): remove flake.nix (Guix-only estate policy) (#28)

  completed successfully:
  CodeQL Security Analysis#101:Commit76f4ac6pushedbyhyperpolymath
  main

  Jun 24, 202631m 45s
  More actions for workflow run 101

• chore(nix->guix): remove flake.nix (Guix-only)

  cancelled:
  CodeQL Security Analysis#100:Pull request#28openedbyhyperpolymath
  chore/nix-to-guix-2026-06-24

  Jun 24, 20264s
  More actions for workflow run 100

• chore: retire local issue/discussion templates -> inherit org .github…

  completed successfully:
  CodeQL Security Analysis#99:Commitd85bef4pushedbyhyperpolymath
  main

  Jun 22, 20261h 0m 34s
  More actions for workflow run 99

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#98:Scheduled
  main

  Jun 22, 202652s
  More actions for workflow run 98

• ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go…

  completed successfully:
  CodeQL Security Analysis#97:Commitf035b9fpushedbyhyperpolymath
  main

  Jun 21, 202626m 47s
  More actions for workflow run 97

• Base camp: RSR Mustfile + green CI + CHANGELOG de-dup (#27)

  completed successfully:
  CodeQL Security Analysis#96:Commit6391f81pushedbyhyperpolymath
  main

  Jun 18, 202639s
  More actions for workflow run 96

• Base camp: RSR Mustfile + green CI + CHANGELOG de-dup

  completed successfully:
  CodeQL Security Analysis#95:Pull request#27openedbyhyperpolymath
  claude/sharp-cannon-038nwu

  Jun 18, 20263m 44s
  More actions for workflow run 95