Skip to content

Actions: hyperpolymath/absolute-zero

Actions

ClusterFuzzLite PR fuzzing

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cflite_pr.yml
186 workflow runs
186 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 Coq tags ClusterFuzzLite PR fuzzing #186: Pull request #174 opened by arena-ai-coding-agent Bot
6m 40s arena/01a0df23-absolute-zero
arena/01a0df23-absolute-zero
6m 40s
chore(deps): bump github/codeql-action from 4.38.0 to 4.38.1 in the actions group ClusterFuzzLite PR fuzzing #185: Pull request #173 opened by dependabot Bot
6m 39s dependabot/github_actions/actions-71fcf20ecc
dependabot/github_actions/actions-71fcf20ecc
6m 39s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) ClusterFuzzLite PR fuzzing #184: Pull request #172 synchronize by hyperpolymath
6m 37s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
6m 37s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) ClusterFuzzLite PR fuzzing #183: Pull request #172 synchronize by coderabbitai Bot
6m 38s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
6m 38s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) ClusterFuzzLite PR fuzzing #182: Pull request #172 synchronize by coderabbitai Bot
7m 6s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
7m 6s
proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) ClusterFuzzLite PR fuzzing #181: Pull request #172 opened by hyperpolymath
7m 24s fix/4b-4d-prover-honesty
fix/4b-4d-prover-honesty
7m 24s
ci(scorecard): cure the 20/20 startup death and emit SARIF (#168) ClusterFuzzLite PR fuzzing #180: Pull request #169 opened by hyperpolymath
11m 55s fix/168-scorecard-caller
fix/168-scorecard-caller
11m 55s
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job ClusterFuzzLite PR fuzzing #179: Pull request #165 synchronize by coderabbitai Bot
6m 37s fix/125-lean-axiom-preconditions
fix/125-lean-axiom-preconditions
6m 37s
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job ClusterFuzzLite PR fuzzing #178: Pull request #165 synchronize by hyperpolymath
7m 7s fix/125-lean-axiom-preconditions
fix/125-lean-axiom-preconditions
7m 7s
fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job ClusterFuzzLite PR fuzzing #177: Pull request #165 opened by hyperpolymath
7m 21s fix/125-lean-axiom-preconditions
fix/125-lean-axiom-preconditions
7m 21s
fix(ci): cure the three main reds — drop Deno CI (#160), bump governance to standards@fad242d3 (#163) ClusterFuzzLite PR fuzzing #176: Pull request #164 opened by hyperpolymath
8m 5s fix/160-163-cure-main-reds
fix/160-163-cure-main-reds
8m 5s
fix(ci): reconcile actions.lock so the lockfile validates ClusterFuzzLite PR fuzzing #175: Pull request #159 opened by hyperpolymath
3h 48m 23s fix/lockfile-reconcile
fix/lockfile-reconcile
3h 48m 23s
fix(ci): correct reusable-workflow caller permissions and inputs ClusterFuzzLite PR fuzzing #174: Pull request #158 opened by hyperpolymath
6m 43s fix/reusable-caller-permissions-3
fix/reusable-caller-permissions-3
6m 43s
fix(ci): pin third-party actions to full commit SHAs ClusterFuzzLite PR fuzzing #173: Pull request #157 synchronize by hyperpolymath
20m 40s fix/sha-pin-actions
fix/sha-pin-actions
20m 40s
ClusterFuzzLite PR fuzzing ClusterFuzzLite PR fuzzing #172: opened by hyperpolymath
Startup failure fix/sha-pin-actions
fix/sha-pin-actions
Startup failure
docs(claude): point package management at files that exist ClusterFuzzLite PR fuzzing #171: Pull request #156 opened by hyperpolymath
8m 50s docs/refresh-package-management-paths
docs/refresh-package-management-paths
8m 50s
refactor(root): relocate the contributing guide into .github/ ClusterFuzzLite PR fuzzing #170: Pull request #155 opened by hyperpolymath
31m 14s refactor/contributing-guide-relocation
refactor/contributing-guide-relocation
31m 14s
chore(deps): bump docker/build-push-action from 7.3.0 to 7.4.0 in the actions group ClusterFuzzLite PR fuzzing #169: Pull request #154 opened by dependabot Bot
7m 8s dependabot/github_actions/actions-540b05cf07
dependabot/github_actions/actions-540b05cf07
7m 8s
chore(www): migrate root .well-known/ to www/.well-known/ ClusterFuzzLite PR fuzzing #168: Pull request #153 opened by hyperpolymath
30m 1s chore/well-known-to-www
chore/well-known-to-www
30m 1s
chore(actions): relock drifted action pins ClusterFuzzLite PR fuzzing #167: Pull request #152 opened by hyperpolymath
7m 4s fix/relock-actions-lock
fix/relock-actions-lock
7m 4s
chore(deps): bump the actions group with 2 updates ClusterFuzzLite PR fuzzing #166: Pull request #151 opened by dependabot Bot
6m 44s dependabot/github_actions/actions-a63c844334
dependabot/github_actions/actions-a63c844334
6m 44s
chore(dependabot): cap open pull requests per update block ClusterFuzzLite PR fuzzing #165: Pull request #150 synchronize by hyperpolymath
6m 39s chore/dependabot-pr-caps-2026-09-08
chore/dependabot-pr-caps-2026-09-08
6m 39s
chore(dependabot): cap open pull requests per update block ClusterFuzzLite PR fuzzing #164: Pull request #150 opened by hyperpolymath
6m 39s chore/dependabot-pr-caps-2026-09-08
chore/dependabot-pr-caps-2026-09-08
6m 39s
chore(deps): bump hyperpolymath/smtp-notify-action from 0.1.0 to 0.2.0 in the actions group ClusterFuzzLite PR fuzzing #163: Pull request #149 synchronize by hyperpolymath
6m 34s dependabot/github_actions/actions-ec4202d2c8
dependabot/github_actions/actions-ec4202d2c8
6m 34s
chore(deps): bump hyperpolymath/smtp-notify-action from 0.1.0 to 0.2.0 in the actions group ClusterFuzzLite PR fuzzing #162: Pull request #149 synchronize by coderabbitai Bot
6m 37s dependabot/github_actions/actions-ec4202d2c8
dependabot/github_actions/actions-ec4202d2c8
6m 37s