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
proof(coq): discharge eval_respects_state_eq_{left,right} via deletio… CodeQL Security Analysis #75: Pull request #31 opened by hyperpolymath
1d 0h 0m 2s proof-debt/abszero-tier-a-axiom-discharge
proof-debt/abszero-tier-a-axiom-discharge
1d 0h 0m 2s
licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out… CodeQL Security Analysis #74: Commit fb62620 pushed by hyperpolymath
23s main
main
23s
licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out… CodeQL Security Analysis #73: Pull request #30 opened by hyperpolymath
1d 0h 0m 3s licence-debt/07-pmpl-suffix
licence-debt/07-pmpl-suffix
1d 0h 0m 3s
licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out… CodeQL Security Analysis #72: Commit c292748 pushed by hyperpolymath
24s main
main
24s
licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out… CodeQL Security Analysis #71: Pull request #29 opened by hyperpolymath
1d 0h 0m 2s licence-debt/07-pmpl-suffix
licence-debt/07-pmpl-suffix
1d 0h 0m 2s
fix(lean4/cno): finish loadStore_preserves_memory cons-case build (#28) CodeQL Security Analysis #70: Commit 80e8164 pushed by hyperpolymath
23s main
main
23s
fix(lean4/cno): finish loadStore_preserves_memory cons-case build CodeQL Security Analysis #69: Pull request #28 opened by hyperpolymath
1d 0h 0m 2s fix/lean-cno-cons-case-2026-05-20
fix/lean-cno-cons-case-2026-05-20
1d 0h 0m 2s
proof(coq): discharge eval_respects_state_eq_{L,R} via deletion + ref… CodeQL Security Analysis #68: Commit 99ec572 pushed by hyperpolymath
5h 44m 19s main
main
5h 44m 19s
proof(coq): discharge eval_respects_state_eq_{L,R} via deletion + refactor CodeQL Security Analysis #67: Pull request #26 opened by hyperpolymath
11h 18m 32s proof-debt/abszero-tier-a-axiom-discharge
proof-debt/abszero-tier-a-axiom-discharge
11h 18m 32s
fix(coq/cno): tier-0 rebuild - Coq 8.18 build repair + state_eq relaxation + eval_deterministic discharge (Refs standards#124) CodeQL Security Analysis #66: Pull request #25 synchronize by hyperpolymath
11h 20m 38s fix/coq-cno-tier0-rebuild-2026-05-20
fix/coq-cno-tier0-rebuild-2026-05-20
11h 20m 38s
proof(coq): #133 rescue rebase + discharge eval_deterministic (PR #24) CodeQL Security Analysis #65: Commit 69e7a22 pushed by hyperpolymath
17m 24s main
main
17m 24s
proof(coq): #133 rescue rebase + discharge eval_deterministic CodeQL Security Analysis #64: Pull request #24 synchronize by hyperpolymath
11h 30m 13s rebase/133-rescue-onto-main
rebase/133-rescue-onto-main
11h 30m 13s
fix(coq/cno): tier-0 rebuild - Coq 8.18 build repair + state_eq relaxation + eval_deterministic discharge (Refs standards#124) CodeQL Security Analysis #63: Pull request #25 opened by hyperpolymath
1h 31m 30s fix/coq-cno-tier0-rebuild-2026-05-20
fix/coq-cno-tier0-rebuild-2026-05-20
1h 31m 30s
fix(lean4/cno): finish loadStore_preserves_memory cons-case build (#23) CodeQL Security Analysis #62: Commit 35933a6 pushed by hyperpolymath
2h 3m 52s main
main
2h 3m 52s
fix(lean4/cno): finish loadStore_preserves_memory cons-case build CodeQL Security Analysis #61: Pull request #23 opened by hyperpolymath
12h 32m 2s fix/lean-cno-cons-case-2026-05-20
fix/lean-cno-cons-case-2026-05-20
12h 32m 2s
licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out… CodeQL Security Analysis #60: Commit 057a598 pushed by hyperpolymath
1h 32m 45s main
main
1h 32m 45s
fix(licence): canonicalise to PMPL-1.0-or-later per authorship check … CodeQL Security Analysis #59: Commit f39b762 pushed by hyperpolymath
8s main
main
8s
fix(licence): canonicalise to PMPL-1.0-or-later per authorship check (#133) CodeQL Security Analysis #58: Pull request #22 opened by hyperpolymath
1h 27m 56s proof-debt/standards-133-licence-canon
proof-debt/standards-133-licence-canon
1h 27m 56s
licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only) CodeQL Security Analysis #57: Pull request #21 opened by hyperpolymath
36m 31s licence-debt/07-pmpl-suffix
licence-debt/07-pmpl-suffix
36m 31s
fix(licence): clear scaffold-placeholder leak (isolated; dirty repo) … CodeQL Security Analysis #56: Commit fb7a201 pushed by hyperpolymath
5h 44m 41s main
main
5h 44m 41s
fix(licence): #3 isolated — clear scaffold-placeholder leak (absolute-zero) CodeQL Security Analysis #55: Pull request #20 synchronize by hyperpolymath
11h 28m 3s licence-debt/03-final-placeholder
licence-debt/03-final-placeholder
11h 28m 3s
fix(licence): #3 isolated — clear scaffold-placeholder leak (absolute-zero) CodeQL Security Analysis #54: Pull request #20 opened by hyperpolymath
1h 4m 55s licence-debt/03-final-placeholder
licence-debt/03-final-placeholder
1h 4m 55s
CodeQL Security Analysis CodeQL Security Analysis #53: Scheduled
12h 45m 54s main
main
12h 45m 54s
harden(ci): concurrency-cancel guard on canonical check workflows (#19) CodeQL Security Analysis #52: Commit b766923 pushed by hyperpolymath
10m 8s main
main
10m 8s
harden(ci): concurrency-cancel guard on canonical check workflows CodeQL Security Analysis #51: Pull request #19 opened by hyperpolymath
6h 58m 50s harden/ci-concurrency-estate-2026-05-18
harden/ci-concurrency-estate-2026-05-18
6h 58m 50s