Skip to content

Actions: hyperpolymath/absolute-zero

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
285 workflow runs
285 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
fix(ci): Agda job — use -i stdlib sources (Ubuntu ships no .agda-lib)… CodeQL Security Analysis #210: Commit 720e410 pushed by hyperpolymath
1m 15s main
main
1m 15s
fix(ci): Agda job — use -i stdlib sources (Ubuntu ships no .agda-lib) CodeQL Security Analysis #209: Pull request #104 opened by hyperpolymath
1m 12s ci-agda-fix2
ci-agda-fix2
1m 12s
fix(ci): robust agda-stdlib registration (green the proofs workflow) … CodeQL Security Analysis #208: Commit 137aaf9 pushed by hyperpolymath
1m 27s main
main
1m 27s
fix(ci): robust agda-stdlib registration (green the proofs workflow) CodeQL Security Analysis #207: Pull request #103 opened by hyperpolymath
2m 11s ci-agda-fix
ci-agda-fix
2m 11s
chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI (#102) CodeQL Security Analysis #206: Commit 42b2001 pushed by hyperpolymath
2m 12s main
main
2m 12s
chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI CodeQL Security Analysis #205: Pull request #102 opened by hyperpolymath
48s descriptiles-ci
descriptiles-ci
48s
docs+ci+bot: post-PR#100 hygiene sweep (docs, wiki, CI, machine-reada… CodeQL Security Analysis #204: Commit 25d0d3d pushed by hyperpolymath
1m 23s main
main
1m 23s
docs+ci+bot: post-PR#100 hygiene sweep (docs, wiki, CI, machine-readable) CodeQL Security Analysis #203: Pull request #101 opened by hyperpolymath
1m 2s worktree-docs-hygiene-sweep
worktree-docs-hygiene-sweep
1m 2s
feat(proofs): complete CNO + OND pillars, verified across six provers… CodeQL Security Analysis #202: Commit 6b591f1 pushed by hyperpolymath
36m 34s main
main
36m 34s
feat(proofs): complete CNO + OND pillars, verified across six provers CodeQL Security Analysis #201: Pull request #100 synchronize by hyperpolymath
34m 55s worktree-cno-ond-completion
worktree-cno-ond-completion
34m 55s
feat(proofs): complete CNO + OND pillars, verified across six provers CodeQL Security Analysis #200: Pull request #100 synchronize by hyperpolymath
4m 57s worktree-cno-ond-completion
worktree-cno-ond-completion
4m 57s
feat(proofs): complete CNO + OND pillars, verified across six provers CodeQL Security Analysis #199: Pull request #100 opened by hyperpolymath
3m 23s worktree-cno-ond-completion
worktree-cno-ond-completion
3m 23s
fix(ci): clear OSSF Scorecard startup_failure (#99) CodeQL Security Analysis #198: Commit 1c19d10 pushed by hyperpolymath
38m 0s main
main
38m 0s
fix(ci): clear OSSF Scorecard startup_failure CodeQL Security Analysis #197: Pull request #99 opened by hyperpolymath
53s fix/scorecard-caller-startup
fix/scorecard-caller-startup
53s
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#98) CodeQL Security Analysis #196: Commit ec3a141 pushed by hyperpolymath
1m 6s main
main
1m 6s
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage CodeQL Security Analysis #195: Pull request #98 opened by hyperpolymath
1m 12s ci/repin-rust-ci-reusable-412a7031
ci/repin-rust-ci-reusable-412a7031
1m 12s
Delete license/PMPL-1.0.txt (#97) CodeQL Security Analysis #194: Commit 438935d pushed by hyperpolymath
1m 3s main
main
1m 3s
Delete license/PMPL-1.0.txt CodeQL Security Analysis #193: Pull request #97 opened by hyperpolymath
1m 10s hyperpolymath-patch-1
hyperpolymath-patch-1
1m 10s
chore(deps): bump the actions group with 6 updates (#96) CodeQL Security Analysis #192: Commit 75daa84 pushed by hyperpolymath
1m 14s main
main
1m 14s
chore(deps): bump the actions group with 6 updates CodeQL Security Analysis #191: Pull request #96 opened by dependabot Bot
1m 6s dependabot/github_actions/actions-27c433e26c
dependabot/github_actions/actions-27c433e26c
1m 6s
docs(roadmap): right-size to solo-maintainer reality; preserve vision… CodeQL Security Analysis #190: Commit 67ae5a6 pushed by hyperpolymath
3m 23s main
main
3m 23s
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