Skip to content

Actions: hyperpolymath/absolute-zero

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
239 workflow runs
239 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(roadmap): right-size to solo-maintainer reality; preserve vision in appendix CodeQL Security Analysis #189: Pull request #95 opened by hyperpolymath
57s claude/project-scope-planning-8agyox
claude/project-scope-planning-8agyox
57s
CodeQL Security Analysis CodeQL Security Analysis #188: Scheduled
1m 21s main
main
1m 21s
docs(proof): correct stale proof-status; disclose axiom dependence (#94) CodeQL Security Analysis #187: Commit c825401 pushed by hyperpolymath
1m 47s main
main
1m 47s
docs(proof): correct stale proof-status; disclose axiom dependence CodeQL Security Analysis #186: Pull request #94 opened by hyperpolymath
1m 35s proof/honest-status-md
proof/honest-status-md
1m 35s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#93) CodeQL Security Analysis #185: Commit bac7885 pushed by hyperpolymath
1m 4s main
main
1m 4s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #184: Pull request #93 opened by hyperpolymath
5s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
5s
fix(license): absolute-zero — 3 stale PMPL-1.0-or-later body declarat… CodeQL Security Analysis #183: Commit 5e063a0 pushed by hyperpolymath
1m 11s main
main
1m 11s
fix(license): absolute-zero — 3 stale PMPL-1.0-or-later body declarations → MPL-2.0 CodeQL Security Analysis #182: Pull request #92 opened by hyperpolymath
48s claude/hopeful-babbage-pn0l4o
claude/hopeful-babbage-pn0l4o
48s
chore(deps): bump the actions group with 2 updates (#91) CodeQL Security Analysis #181: Commit a35ecfd pushed by hyperpolymath
1m 15s main
main
1m 15s
chore(deps): bump the actions group with 2 updates CodeQL Security Analysis #180: Pull request #91 opened by dependabot Bot
52s dependabot/github_actions/actions-b5176a539c
dependabot/github_actions/actions-b5176a539c
52s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… CodeQL Security Analysis #179: Commit 2e788ec pushed by hyperpolymath
30m 59s main
main
30m 59s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) CodeQL Security Analysis #178: Pull request #90 opened by hyperpolymath
29m 39s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
29m 39s
feat(ci): attest build provenance (#89) CodeQL Security Analysis #177: Commit 0d39146 pushed by hyperpolymath
9h 27m 20s main
main
9h 27m 20s
feat(ci): attest build provenance CodeQL Security Analysis #176: Pull request #89 opened by hyperpolymath
9h 35m 49s feat/attest-build-provenance
feat/attest-build-provenance
9h 35m 49s
chore(ci): add dormant push-email notification workflow (#88) CodeQL Security Analysis #175: Commit a377160 pushed by hyperpolymath
14h 3m 58s main
main
14h 3m 58s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #174: Pull request #88 opened by hyperpolymath
19h 41m 13s chore/push-email-notify
chore/push-email-notify
19h 41m 13s
chore(ci): bump standards reusable workflow pins (#87) CodeQL Security Analysis #173: Commit b2e2446 pushed by hyperpolymath
11m 3s main
main
11m 3s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #172: Pull request #87 opened by hyperpolymath
5m 5s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
5m 5s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #171: Commit 7a216ef pushed by hyperpolymath
1m 27s main
main
1m 27s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #170: Pull request #86 opened by hyperpolymath
55s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
55s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #169: Commit f35d074 pushed by hyperpolymath
1m 17s main
main
1m 17s
chore(deps): bump actions/checkout in the actions group CodeQL Security Analysis #168: Commit c9c1e34 pushed by hyperpolymath
1m 18s main
main
1m 18s
chore(deps): bump actions/checkout from 6.0.3 to 7.0.0 in the actions group CodeQL Security Analysis #167: Pull request #85 opened by dependabot Bot
1m 0s dependabot/github_actions/actions-2217aebe03
dependabot/github_actions/actions-2217aebe03
1m 0s
docs(proof-status): absolute-zero multi-prover verification — Coq 13/… CodeQL Security Analysis #166: Commit ee2947e pushed by hyperpolymath
1m 15s main
main
1m 15s
docs(proof-status): absolute-zero multi-prover verification — Coq 13/13 + Agda 3/3 CodeQL Security Analysis #165: Pull request #84 opened by hyperpolymath
2m 27s claude/hopeful-babbage-pn0l4o
claude/hopeful-babbage-pn0l4o
2m 27s