Skip to content

Actions: hyperpolymath/absolute-zero

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
350 workflow runs
350 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: resolve repository issues, port Lean FilesystemCNO, and unify Co… CodeQL Security Analysis #350: Commit b7c780f pushed by hyperpolymath
Startup failure main
main
Startup failure
CodeQL Security Analysis CodeQL Security Analysis #349: opened by arena-ai-coding-agent Bot
Startup failure arena/01a0df23-absolute-zero
arena/01a0df23-absolute-zero
Startup failure
chore(deps): bump github/codeql-action from 4.38.0 to 4.38.1 in the a… CodeQL Security Analysis #348: Commit 3e959cb pushed by hyperpolymath
Startup failure main
main
Startup failure
CodeQL Security Analysis CodeQL Security Analysis #347: opened by dependabot Bot
Startup failure dependabot/github_actions/actions-71fcf20ecc
dependabot/github_actions/actions-71fcf20ecc
Startup failure
proofs: honest prover gate — absent prover = fail, z3 expect-checked,… CodeQL Security Analysis #346: Commit 877ede2 pushed by hyperpolymath
3m 53s main
main
3m 53s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) CodeQL Security Analysis #345: Pull request #172 synchronize by hyperpolymath
2m 32s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
2m 32s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) CodeQL Security Analysis #344: Pull request #172 synchronize by coderabbitai Bot
2m 34s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
2m 34s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) CodeQL Security Analysis #343: Pull request #172 synchronize by coderabbitai Bot
2m 7s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
2m 7s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) CodeQL Security Analysis #342: Pull request #172 opened by hyperpolymath
2m 30s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
2m 30s
ci(scorecard): cure the 20/20 startup death and emit SARIF (#168) (#169) CodeQL Security Analysis #341: Commit dd87b48 pushed by hyperpolymath
8m 46s main
main
8m 46s
ci(scorecard): cure the 20/20 startup death and emit SARIF (#168) CodeQL Security Analysis #340: Pull request #169 opened by hyperpolymath
7m 47s fix/168-scorecard-caller
fix/168-scorecard-caller
7m 47s
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axi… CodeQL Security Analysis #339: Commit 828399a pushed by hyperpolymath
3m 3s main
main
3m 3s
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job CodeQL Security Analysis #338: Pull request #165 synchronize by coderabbitai Bot
2m 52s fix/125-lean-axiom-preconditions
fix/125-lean-axiom-preconditions
2m 52s
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job CodeQL Security Analysis #337: Pull request #165 synchronize by hyperpolymath
2m 47s fix/125-lean-axiom-preconditions
fix/125-lean-axiom-preconditions
2m 47s
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job CodeQL Security Analysis #336: Pull request #165 opened by hyperpolymath
2m 35s fix/125-lean-axiom-preconditions
fix/125-lean-axiom-preconditions
2m 35s
fix(ci): cure the three main reds — drop Deno CI (#160), bump governa… CodeQL Security Analysis #335: Commit 3c8796a pushed by hyperpolymath
3m 4s main
main
3m 4s
fix(ci): cure the three main reds — drop Deno CI (#160), bump governance to standards@fad242d3 (#163) CodeQL Security Analysis #334: Pull request #164 opened by hyperpolymath
2m 29s fix/160-163-cure-main-reds
fix/160-163-cure-main-reds
2m 29s
fix(ci): reconcile actions.lock so the lockfile validates (#159) CodeQL Security Analysis #333: Commit 74202cb pushed by hyperpolymath
3h 49m 20s main
main
3h 49m 20s
fix(ci): reconcile actions.lock so the lockfile validates CodeQL Security Analysis #332: Pull request #159 opened by hyperpolymath
3h 44m 13s fix/lockfile-reconcile
fix/lockfile-reconcile
3h 44m 13s
fix(ci): correct reusable-workflow caller permissions and inputs (#158) CodeQL Security Analysis #331: Commit a551037 pushed by hyperpolymath
3m 2s main
main
3m 2s
fix(ci): correct reusable-workflow caller permissions and inputs CodeQL Security Analysis #330: Pull request #158 opened by hyperpolymath
2m 34s fix/reusable-caller-permissions-3
fix/reusable-caller-permissions-3
2m 34s
fix(ci): pin third-party actions to full commit SHAs (#157) CodeQL Security Analysis #329: Commit 8239e52 pushed by hyperpolymath
4m 30s main
main
4m 30s
fix(ci): pin third-party actions to full commit SHAs CodeQL Security Analysis #328: Pull request #157 synchronize by hyperpolymath
16m 5s fix/sha-pin-actions
fix/sha-pin-actions
16m 5s
CodeQL Security Analysis CodeQL Security Analysis #327: opened by hyperpolymath
Startup failure fix/sha-pin-actions
fix/sha-pin-actions
Startup failure
docs(claude): point package management at files that exist (#156) CodeQL Security Analysis #326: Commit 76308c9 pushed by hyperpolymath
16m 11s main
main
16m 11s