CodeQL Security Analysis

codeql.yml

1570 workflow runs

fix(lean4): discharge E-series proofs on Lean 4.13.0 (Refs #53)
completed successfully:
CodeQL Security Analysis#620:Pull request#71synchronizebyhyperpolymath
fix/lean4-e-series-53
May 18, 20266h 50m 44s
fix(lean4): discharge E-series proofs on Lean 4.13.0 (Refs #53)
completed successfully:
CodeQL Security Analysis#619:Pull request#71synchronizebyhyperpolymath
fix/lean4-e-series-53
May 17, 202620h 51m 6s
fix(lean4): discharge E-series proofs on Lean 4.13.0 (Refs #53)
completed successfully:
CodeQL Security Analysis#618:Pull request#71synchronizebyhyperpolymath
fix/lean4-e-series-53
May 17, 202621h 8m 4s
fix(lean4): discharge E-series proofs on Lean 4.13.0 (Refs #53)
completed successfully:
CodeQL Security Analysis#617:Pull request#71openedbyhyperpolymath
fix/lean4-e-series-53
May 17, 202623h 57m 50s
fix(lean4): discharge E4/E10/E11/E13 lake build against live 4.13.0
completed successfully:
CodeQL Security Analysis#616:Pull request#70openedbyhyperpolymath
fix/lean4-e10-e11-e13-issue53
May 17, 202623h 41m 54s
fix(ci): bump a2ml/k9-validate-action pins to canonical (#69)
cancelled:
CodeQL Security Analysis#615:Commitde0c121pushedbyhyperpolymath
main
May 17, 20261d 0h 0m 2s
fix(ci): bump a2ml/k9-validate-action pins to canonical
cancelled:
CodeQL Security Analysis#614:Pull request#69openedbyhyperpolymath
fix/ci-dogfood-pins-standards-85
May 17, 20261d 0h 0m 2s
fix(ci): sync hypatia-scan.yml to canonical (#68)
completed successfully:
CodeQL Security Analysis#613:Commit5f417ebpushedbyhyperpolymath
main
May 17, 202620h 44m 53s
fix(ci): sync hypatia-scan.yml to canonical
completed successfully:
CodeQL Security Analysis#612:Pull request#68openedbyhyperpolymath
fix/hypatia-scan-canonical
May 17, 202620h 27m 15s
chore(ci): replace per-repo governance copies with shared bundle wrapper
completed successfully:
CodeQL Security Analysis#611:Commit76d592fpushedbyhyperpolymath
main
May 17, 20268h 6m 51s
fix(ci): build Hypatia escript from repo root (estate dogfood drift)
completed successfully:
CodeQL Security Analysis#610:Commitd7b15bapushedbyhyperpolymath
main
May 17, 20261h 38m 31s
chore(CODEOWNERS): drop /.github/workflows/ line (Refs standards#55) …
completed successfully:
CodeQL Security Analysis#609:Commitd201046pushedbyhyperpolymath
main
May 17, 20264m 18s
chore(CODEOWNERS): drop /.github/workflows/ line (Refs standards#55)
completed successfully:
CodeQL Security Analysis#608:Pull request#67openedbyhyperpolymath
claude/codeowners-drop-workflows-55
May 16, 20262m 28s
fix(ci): adopt canonical hypatia-scan.yml (#66)
completed successfully:
CodeQL Security Analysis#607:Commitee18abfpushedbyhyperpolymath
main
May 16, 20262h 32m 5s
fix(ci): adopt canonical hypatia-scan.yml
completed successfully:
CodeQL Security Analysis#606:Pull request#66openedbyhyperpolymath
fix/hypatia-scan-canonical
May 16, 20262h 30m 35s
fix: remove banned V-language v-adapter (route via zig-unified-api-ad…
completed successfully:
CodeQL Security Analysis#605:Commit9e6ccd0pushedbyhyperpolymath
main
May 16, 20266m 34s
fix: remove banned V-language v-adapter (route via zig-unified-api-adapter)
completed successfully:
CodeQL Security Analysis#604:Pull request#65openedbyhyperpolymath
fix/remove-v-adapter
May 16, 20264m 3s
ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#…
completed successfully:
CodeQL Security Analysis#603:Commit4515718pushedbyhyperpolymath
main
May 14, 20263h 30m 59s
fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support (#60)
completed successfully:
CodeQL Security Analysis#602:Commit258e13dpushedbyhyperpolymath
main
May 14, 20263h 31m 21s
fix(ci): hypatia-scan.yml -- --exit-zero + GITHUB_TOKEN (hyperpolymath/hypatia#213)
completed successfully:
CodeQL Security Analysis#601:Pull request#57synchronizebyhyperpolymath
fix/hypatia-213-scanner-flag
May 14, 20267h 4m 33s
ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#237
completed successfully:
CodeQL Security Analysis#600:Pull request#59synchronizebyhyperpolymath
ci/adopt-hardened-hypatia-scan-workflow
May 14, 20267h 5m 43s
fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support
completed successfully:
CodeQL Security Analysis#599:Pull request#60synchronizebyhyperpolymath
fix/ci-rsr-and-setup-beam-2026-05-14
May 14, 20266h 57m 27s
fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support
completed successfully:
CodeQL Security Analysis#598:Pull request#60synchronizebyhyperpolymath
fix/ci-rsr-and-setup-beam-2026-05-14
May 14, 20262h 20m 48s
chore: drop * wildcard from CODEOWNERS to stop Dependabot review pi…
completed successfully:
CodeQL Security Analysis#597:Commit7c208c6pushedbyhyperpolymath
main
May 14, 20261h 37m 20s
fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support
completed successfully:
CodeQL Security Analysis#596:Pull request#60openedbyhyperpolymath
fix/ci-rsr-and-setup-beam-2026-05-14
May 14, 202645m 53s

Navigation Menu

CodeQL Security Analysis

1570 workflow runs

fix(lean4): discharge E-series proofs on Lean 4.13.0 (Refs #53)

fix(lean4): discharge E-series proofs on Lean 4.13.0 (Refs #53)

fix(lean4): discharge E-series proofs on Lean 4.13.0 (Refs #53)

fix(lean4): discharge E-series proofs on Lean 4.13.0 (Refs #53)

fix(lean4): discharge E4/E10/E11/E13 lake build against live 4.13.0

fix(ci): bump a2ml/k9-validate-action pins to canonical (#69)

fix(ci): bump a2ml/k9-validate-action pins to canonical

fix(ci): sync hypatia-scan.yml to canonical (#68)

fix(ci): sync hypatia-scan.yml to canonical

chore(ci): replace per-repo governance copies with shared bundle wrapper

fix(ci): build Hypatia escript from repo root (estate dogfood drift)

chore(CODEOWNERS): drop /.github/workflows/ line (Refs standards#55) …

chore(CODEOWNERS): drop /.github/workflows/ line (Refs standards#55)

fix(ci): adopt canonical hypatia-scan.yml (#66)

fix(ci): adopt canonical hypatia-scan.yml

fix: remove banned V-language v-adapter (route via zig-unified-api-ad…

fix: remove banned V-language v-adapter (route via zig-unified-api-adapter)

ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#…

fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support (#60)

fix(ci): hypatia-scan.yml -- --exit-zero + GITHUB_TOKEN (hyperpolymath/hypatia#213)

ci(workflow): adopt hardened hypatia-scan from hyperpolymath/hypatia#237

fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support

fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support

chore: drop `*` wildcard from CODEOWNERS to stop Dependabot review pi…

fix(ci): bump erlef/setup-beam SHA for ubuntu24 runner support

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for CodeQL Security Analysis

1570 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.