Skip to content

Actions: hyperpolymath/absolute-zero

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
382 workflow runs
382 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
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
chore(ci): delete jekyll-gh-pages.yml — no Jekyll site here CodeQL Security Analysis #125: Pull request #57 opened by hyperpolymath
6h 24m 19s cleanup/delete-doomed-jekyll
cleanup/delete-doomed-jekyll
6h 24m 19s
chore(ci): replace scorecard.yml with reusable wrapper (#56) CodeQL Security Analysis #124: Commit ab35c07 pushed by hyperpolymath
9h 41m 42s main
main
9h 41m 42s
chore(ci): replace scorecard.yml with reusable wrapper CodeQL Security Analysis #123: Pull request #56 opened by hyperpolymath
9h 40m 37s chore/scorecard-reusable-wrapper
chore/scorecard-reusable-wrapper
9h 40m 37s
docs: seed CHANGELOG.md (Keep-a-Changelog format) CodeQL Security Analysis #122: Commit 7c377cd pushed by hyperpolymath
10m 25s main
main
10m 25s
docs: seed CHANGELOG.md (Keep-a-Changelog format) CodeQL Security Analysis #121: Pull request #55 opened by hyperpolymath
8h 27m 28s claude/changelog-seed-2026-05-26
claude/changelog-seed-2026-05-26
8h 27m 28s
chore(spdx): migrate PMPL-1.0-or-later → MPL-2.0 (20 files) (#54) CodeQL Security Analysis #120: Commit a85ab15 pushed by hyperpolymath
18m 20s main
main
18m 20s
chore(spdx): migrate PMPL-1.0-or-later → MPL-2.0 (20 files) CodeQL Security Analysis #119: Pull request #54 opened by hyperpolymath
8h 24m 17s chore/spdx-pmpl-to-mpl-2026-05-26
chore/spdx-pmpl-to-mpl-2026-05-26
8h 24m 17s
fix(baseline): repair main + estate-policy sweep (unblocks #41) (#42) CodeQL Security Analysis #118: Commit 468b7e4 pushed by hyperpolymath
4m 9s main
main
4m 9s
fix(baseline): repair main + estate-policy sweep (unblocks #41) CodeQL Security Analysis #117: Pull request #42 synchronize by hyperpolymath
8h 22m 0s fix/absolute-zero-baseline-rot
fix/absolute-zero-baseline-rot
8h 22m 0s
ci(rust): convert rust-ci.yml to thin wrapper (standards#174 refile) … CodeQL Security Analysis #116: Commit 7f0b56c pushed by hyperpolymath
18m 3s main
main
18m 3s
ci(rust): convert rust-ci.yml to thin wrapper (standards#174 refile) CodeQL Security Analysis #115: Pull request #53 opened by hyperpolymath
8h 28m 32s chore/rust-ci-reusable-wrapper
chore/rust-ci-reusable-wrapper
8h 28m 32s
docs: seed docs/proof-debt.md per trusted-base policy (#52) CodeQL Security Analysis #114: Commit 616fdcb pushed by hyperpolymath
4m 33s main
main
4m 33s
docs: seed docs/proof-debt.md per trusted-base policy CodeQL Security Analysis #113: Pull request #52 opened by hyperpolymath
8h 9m 38s claude/seed-proof-debt-2026-05-26
claude/seed-proof-debt-2026-05-26
8h 9m 38s
Claude/upbeat mendel l bo9 g (#41) CodeQL Security Analysis #112: Commit d5ab8a8 pushed by hyperpolymath
2m 47s main
main
2m 47s
Claude/upbeat mendel l bo9 g CodeQL Security Analysis #111: Pull request #41 synchronize by hyperpolymath
8h 10m 36s claude/upbeat-mendel-lBO9G
claude/upbeat-mendel-lBO9G
8h 10m 36s
chore(ci): replace secret-scanner.yml with reusable wrapper CodeQL Security Analysis #110: Pull request #51 opened by hyperpolymath
52m 1s chore/secret-scanner-reusable-wrapper
chore/secret-scanner-reusable-wrapper
52m 1s
chore(ci): replace secret-scanner.yml with reusable wrapper (#51) CodeQL Security Analysis #109: Commit 3819a1b pushed by hyperpolymath
5s main
main
5s
chore(ci): replace mirror.yml with reusable wrapper (#50) CodeQL Security Analysis #108: Commit f299725 pushed by hyperpolymath
3m 13s main
main
3m 13s
ProTip! You can narrow down the results and go further in time using created:<2026-05-26 or the other filters available.