Skip to content

Actions: hyperpolymath/absolute-zero

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
275 workflow runs
275 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) CodeQL Security Analysis #150: Pull request #69 opened by hyperpolymath
13h 19m 58s ci/repin-orphan-reusable-shas
ci/repin-orphan-reusable-shas
13h 19m 58s
ci(scorecard): add job-level permissions for reusable workflow (#68) CodeQL Security Analysis #149: Commit 0e29cca pushed by hyperpolymath
1m 6s main
main
1m 6s
ci(scorecard): add job-level permissions for reusable workflow CodeQL Security Analysis #148: Pull request #68 opened by hyperpolymath
1m 13s chore/scorecard-job-level-perms
chore/scorecard-job-level-perms
1m 13s
chore(ci): delete jekyll-gh-pages.yml — no Jekyll site here (#57) CodeQL Security Analysis #147: Commit 07552ea pushed by hyperpolymath
8h 18m 57s main
main
8h 18m 57s
refactor(proofs/coq): consolidate trusted-base dups (Follow-ups 1+2+3… CodeQL Security Analysis #146: Commit 0b9b215 pushed by hyperpolymath
1m 22s main
main
1m 22s
refactor(proofs/coq): consolidate trusted-base dups (Follow-ups 1+2+3) CodeQL Security Analysis #145: Pull request #67 synchronize by hyperpolymath
1m 6s proof-debt/dedupe-physics-constants
proof-debt/dedupe-physics-constants
1m 6s
refactor(proofs/coq): consolidate trusted-base dups (Follow-ups 1+2+3) CodeQL Security Analysis #144: Pull request #67 opened by hyperpolymath
1m 3s proof-debt/dedupe-physics-constants
proof-debt/dedupe-physics-constants
1m 3s
docs+annotate: Physics cluster — 38 inline AXIOM: + 4 §(d) DEBT entri… CodeQL Security Analysis #143: Commit 5650dd0 pushed by hyperpolymath
1m 9s main
main
1m 9s
docs+annotate: Physics cluster — 38 inline AXIOM: + 4 §(d) DEBT entries (Phase 2e) CodeQL Security Analysis #142: Pull request #66 opened by hyperpolymath
1m 17s proof-debt/physics-cluster-annotations
proof-debt/physics-cluster-annotations
1m 17s
feat(proofs/agda): upstream Echo/CNO bridge files from maa-framework … CodeQL Security Analysis #141: Commit 282c204 pushed by hyperpolymath
1m 14s main
main
1m 14s
feat(proofs/agda): upstream Echo/CNO bridge files from maa-framework vendored copy CodeQL Security Analysis #140: Pull request #65 opened by hyperpolymath
1m 20s claude/upstream-echobridge-from-maa
claude/upstream-echobridge-from-maa
1m 20s
chore(ci): bump standards reusable pins past #219 governance fix (#64) CodeQL Security Analysis #139: Commit 50f32dd pushed by hyperpolymath
1m 7s main
main
1m 7s
chore(ci): bump standards reusable pins past #219 governance fix CodeQL Security Analysis #138: Pull request #64 opened by hyperpolymath
1m 20s claude/bump-standards-pins-past-219
claude/bump-standards-pins-past-219
1m 20s
docs+annotate: Quantum cluster — 36 inline AXIOM: + 10 §(d) DEBT entr… CodeQL Security Analysis #137: Commit fc629e4 pushed by hyperpolymath
1m 5s main
main
1m 5s
docs+annotate: Quantum cluster — 36 inline AXIOM: + 10 §(d) DEBT entries (Phase 2d) CodeQL Security Analysis #136: Pull request #63 opened by hyperpolymath
1m 13s proof-debt/quantum-cluster-annotations
proof-debt/quantum-cluster-annotations
1m 13s
docs+annotate: Filesystem cluster — 26 inline AXIOM: + 8 §(d) DEBT en… CodeQL Security Analysis #135: Commit e0e0d32 pushed by hyperpolymath
2m 34s main
main
2m 34s
docs+annotate: Filesystem cluster — 26 inline AXIOM: + 8 §(d) DEBT entries (Phase 2c) CodeQL Security Analysis #134: Pull request #62 opened by hyperpolymath
3m 26s proof-debt/filesystem-cluster
proof-debt/filesystem-cluster
3m 26s
docs: enumerate CNOCategory.v hom_functor as §(d) DEBT (Phase 2b) (#61) CodeQL Security Analysis #133: Commit 885d85b pushed by hyperpolymath
6m 8s main
main
6m 8s
docs: enumerate CNOCategory.v hom_functor as §(d) DEBT (Phase 2b) CodeQL Security Analysis #132: Pull request #61 opened by hyperpolymath
7m 54s proof-debt/cno-common-cluster
proof-debt/cno-common-cluster
7m 54s
docs+annotate: Lambda cluster — inline AXIOM: comments + Lean Phase 2… CodeQL Security Analysis #131: Commit 6a17152 pushed by hyperpolymath
5m 5s main
main
5m 5s
docs+annotate: Lambda cluster — inline AXIOM: comments + Lean Phase 2a triage CodeQL Security Analysis #130: Pull request #60 opened by hyperpolymath
10m 39s proof-debt/lambda-cluster-annotations
proof-debt/lambda-cluster-annotations
10m 39s
docs+meta: cleanup after #58 — proof-debt cross-refs + STATE/META (#59) CodeQL Security Analysis #129: Commit 2723aad pushed by hyperpolymath
21m 12s main
main
21m 12s
docs+meta: cleanup after #58 — proof-debt cross-refs + STATE/META CodeQL Security Analysis #128: Pull request #59 opened by hyperpolymath
24m 3s docs/proof-debt-triage-cleanup-2026-05-27
docs/proof-debt-triage-cleanup-2026-05-27
24m 3s
docs: Phase 1 per-axiom triage of 72 Coq Axioms (#58) CodeQL Security Analysis #127: Commit e17256b pushed by hyperpolymath
7m 26s main
main
7m 26s
docs: Phase 1 per-axiom triage of 72 Coq Axioms CodeQL Security Analysis #126: Pull request #58 opened by hyperpolymath
26m 30s docs/proof-debt-triage-2026-05-27
docs/proof-debt-triage-2026-05-27
26m 30s