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
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
docs(ond): add Observational Null Operations as a co-equal second pillar CodeQL Security Analysis #164: Commit 604c7b7 pushed by hyperpolymath
1m 12s main
main
1m 12s
docs(ond): add Observational Null Operations as a co-equal second pillar (design + roadmap) CodeQL Security Analysis #163: Pull request #83 opened by hyperpolymath
51s claude/hopeful-babbage-pn0l4o
claude/hopeful-babbage-pn0l4o
51s
ci: cut Actions burn — scope push triggers + concurrency-cancel (#82) CodeQL Security Analysis #162: Commit 1b7d963 pushed by hyperpolymath
1m 46s main
main
1m 46s
ci: cut Actions burn — scope push triggers + concurrency-cancel CodeQL Security Analysis #161: Pull request #82 opened by hyperpolymath
58s ci/burn-reduction-triggers-concurrency
ci/burn-reduction-triggers-concurrency
58s
chore(governance): adopt estate-standardization wave + 2026-06-12 che… CodeQL Security Analysis #160: Commit 87b6642 pushed by hyperpolymath
1m 9s main
main
1m 9s
chore(governance): adopt estate-standardization wave + 2026-06-12 checkpoint CodeQL Security Analysis #159: Pull request #73 synchronize by hyperpolymath
1m 8s claude/confident-shannon-xf0Td
claude/confident-shannon-xf0Td
1m 8s
chore(governance): adopt estate-standardization wave + 2026-06-12 checkpoint CodeQL Security Analysis #158: Pull request #73 opened by hyperpolymath
53s claude/confident-shannon-xf0Td
claude/confident-shannon-xf0Td
53s
chore(deps): bump the actions group with 2 updates (#72) CodeQL Security Analysis #157: Commit 856186d pushed by hyperpolymath
1m 9s main
main
1m 9s
chore(deps): bump the actions group with 2 updates CodeQL Security Analysis #156: Pull request #72 opened by dependabot Bot
50s dependabot/github_actions/actions-882fedbe01
dependabot/github_actions/actions-882fedbe01
50s
CodeQL Security Analysis CodeQL Security Analysis #155: Scheduled
1m 37s main
main
1m 37s
Add sponsor badge CodeQL Security Analysis #154: Commit 4867f1f pushed by hyperpolymath
9m 12s main
main
9m 12s
ci(codeql): cron weekly→monthly (cut 3, standards#233 Option B) (#71) CodeQL Security Analysis #153: Commit 7dccd56 pushed by hyperpolymath
5h 52m 13s main
main
5h 52m 13s
ci(codeql): cron weekly→monthly (cut 3, standards#233 Option B) CodeQL Security Analysis #152: Pull request #71 opened by hyperpolymath
5h 54m 39s ci/codeql-monthly-cron-288
ci/codeql-monthly-cron-288
5h 54m 39s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) (#69) CodeQL Security Analysis #151: Commit 7da92b3 pushed by hyperpolymath
13h 30m 56s main
main
13h 30m 56s