Skip to content

Actions: hyperpolymath/absolute-zero

Actions

Hypatia Security Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hypatia-scan.yml
88 workflow runs
88 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
Update Deno lint command to use custom config Hypatia Security Scan #88: Commit ef523e0 pushed by hyperpolymath
48s main
main
48s
proof(idris2/abi): delete unsound alignmentMatchesPlatformWord, isola… Hypatia Security Scan #87: Commit 4ff2e72 pushed by hyperpolymath
48s main
main
48s
proof(idris2/abi): delete unsound alignmentMatchesPlatformWord, isola… Hypatia Security Scan #86: Pull request #40 opened by hyperpolymath
51s claude/upbeat-mendel-lBO9G
claude/upbeat-mendel-lBO9G
51s
Hypatia Security Scan Hypatia Security Scan #85: Scheduled
48s main
main
48s
chore(deps): bump the actions group with 6 updates (#38) Hypatia Security Scan #84: Commit 4c171c8 pushed by hyperpolymath
48s main
main
48s
chore(deps): bump the actions group with 6 updates Hypatia Security Scan #83: Pull request #38 opened by dependabot Bot
1h 21m 52s dependabot/github_actions/actions-2f321cf3f9
dependabot/github_actions/actions-2f321cf3f9
1h 21m 52s
fix(coq/cno): drop cno_decidable axiom (Rice's theorem territory) (#36) Hypatia Security Scan #82: Commit d9d38a3 pushed by hyperpolymath
23h 31m 34s main
main
23h 31m 34s
fix(coq/cno): drop cno_decidable axiom (Rice's theorem territory) Hypatia Security Scan #81: Pull request #36 opened by hyperpolymath
23h 45m 22s proof/drop-cno-decidable-axiom
proof/drop-cno-decidable-axiom
23h 45m 22s
fix(licence): canonicalise to PMPL-1.0-or-later per authorship check … Hypatia Security Scan #80: Commit 8134cef pushed by hyperpolymath
1h 5m 17s main
main
1h 5m 17s
fix(licence): canonicalise to PMPL-1.0-or-later per authorship check … Hypatia Security Scan #79: Pull request #34 opened by hyperpolymath
23h 59m 36s proof-debt/standards-133-licence-canon
proof-debt/standards-133-licence-canon
23h 59m 36s
proof(coq): discharge eval_respects_state_eq_{left,right} via deletio… Hypatia Security Scan #78: Commit 052be22 pushed by hyperpolymath
39s main
main
39s
proof(coq): discharge eval_respects_state_eq_{left,right} via deletio… Hypatia Security Scan #77: Pull request #32 opened by hyperpolymath
1d 0h 0m 3s proof-debt/abszero-tier-a-axiom-discharge
proof-debt/abszero-tier-a-axiom-discharge
1d 0h 0m 3s
proof(coq): discharge eval_respects_state_eq_{left,right} via deletio… Hypatia Security Scan #76: Commit 0ba434f pushed by hyperpolymath
21s main
main
21s
proof(coq): discharge eval_respects_state_eq_{left,right} via deletio… Hypatia Security Scan #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… Hypatia Security Scan #74: Commit fb62620 pushed by hyperpolymath
23s main
main
23s
licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out… Hypatia Security Scan #73: Pull request #30 opened by hyperpolymath
1d 0h 0m 2s licence-debt/07-pmpl-suffix
licence-debt/07-pmpl-suffix
1d 0h 0m 2s
licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out… Hypatia Security Scan #72: Commit c292748 pushed by hyperpolymath
24s main
main
24s
licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out… Hypatia Security Scan #71: Pull request #29 opened by hyperpolymath
1d 0h 0m 1s licence-debt/07-pmpl-suffix
licence-debt/07-pmpl-suffix
1d 0h 0m 1s
fix(lean4/cno): finish loadStore_preserves_memory cons-case build (#28) Hypatia Security Scan #70: Commit 80e8164 pushed by hyperpolymath
23s main
main
23s
fix(lean4/cno): finish loadStore_preserves_memory cons-case build Hypatia Security Scan #69: Pull request #28 opened by hyperpolymath
1d 0h 0m 1s fix/lean-cno-cons-case-2026-05-20
fix/lean-cno-cons-case-2026-05-20
1d 0h 0m 1s
proof(coq): discharge eval_respects_state_eq_{L,R} via deletion + ref… Hypatia Security Scan #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 Hypatia Security Scan #67: Pull request #26 opened by hyperpolymath
11h 28m 11s proof-debt/abszero-tier-a-axiom-discharge
proof-debt/abszero-tier-a-axiom-discharge
11h 28m 11s
fix(coq/cno): tier-0 rebuild - Coq 8.18 build repair + state_eq relaxation + eval_deterministic discharge (Refs standards#124) Hypatia Security Scan #66: Pull request #25 synchronize by hyperpolymath
11h 18m 15s fix/coq-cno-tier0-rebuild-2026-05-20
fix/coq-cno-tier0-rebuild-2026-05-20
11h 18m 15s
proof(coq): #133 rescue rebase + discharge eval_deterministic (PR #24) Hypatia Security Scan #65: Commit 69e7a22 pushed by hyperpolymath
17m 22s main
main
17m 22s
proof(coq): #133 rescue rebase + discharge eval_deterministic Hypatia Security Scan #64: Pull request #24 synchronize by hyperpolymath
11h 16m 48s rebase/133-rescue-onto-main
rebase/133-rescue-onto-main
11h 16m 48s