Skip to content

Actions: hyperpolymath/absolute-zero

Actions

ClusterFuzzLite PR fuzzing

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cflite_pr.yml
208 workflow runs
208 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(deps): bump github/codeql-action from 4.38.1 to 4.38.2 in the actions group ClusterFuzzLite PR fuzzing #208: Pull request #185 opened by dependabot Bot
6m 44s dependabot/github_actions/actions-a63e66b24a
dependabot/github_actions/actions-a63e66b24a
6m 44s
docs(citation): align CITATIONS.adoc author form with CITATION.cff ClusterFuzzLite PR fuzzing #207: Pull request #184 synchronize by hyperpolymath
7m 17s docs/citation-author-181
docs/citation-author-181
7m 17s
chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale pointers ClusterFuzzLite PR fuzzing #206: Pull request #183 synchronize by hyperpolymath
6m 48s chore/issue-sweep-2026-10-01
chore/issue-sweep-2026-10-01
6m 48s
docs(citation): align CITATIONS.adoc author form with CITATION.cff ClusterFuzzLite PR fuzzing #205: Pull request #184 opened by hyperpolymath
6m 47s docs/citation-author-181
docs/citation-author-181
6m 47s
chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale pointers ClusterFuzzLite PR fuzzing #204: Pull request #183 opened by hyperpolymath
6m 47s chore/issue-sweep-2026-10-01
chore/issue-sweep-2026-10-01
6m 47s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) ClusterFuzzLite PR fuzzing #203: Pull request #180 synchronize by hyperpolymath
6m 36s chore/citation-orcid
chore/citation-orcid
6m 36s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) ClusterFuzzLite PR fuzzing #202: Pull request #180 synchronize by hyperpolymath
6m 54s chore/citation-orcid
chore/citation-orcid
6m 54s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 ClusterFuzzLite PR fuzzing #201: Pull request #177 synchronize by hyperpolymath
6m 47s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
6m 47s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 ClusterFuzzLite PR fuzzing #200: Pull request #177 synchronize by hyperpolymath
6m 49s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
6m 49s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) ClusterFuzzLite PR fuzzing #199: Pull request #180 synchronize by hyperpolymath
10m 51s chore/citation-orcid
chore/citation-orcid
10m 51s
docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) ClusterFuzzLite PR fuzzing #198: Pull request #180 opened by hyperpolymath
6m 45s chore/citation-orcid
chore/citation-orcid
6m 45s
docs: add Signed commits section to CONTRIBUTING ClusterFuzzLite PR fuzzing #197: Pull request #179 synchronize by hyperpolymath
7m 4s docs/signing-policy-d218
docs/signing-policy-d218
7m 4s
docs: add Signed commits section to CONTRIBUTING ClusterFuzzLite PR fuzzing #196: Pull request #179 synchronize by hyperpolymath
7m 2s docs/signing-policy-d218
docs/signing-policy-d218
7m 2s
docs: add Signed commits section to CONTRIBUTING ClusterFuzzLite PR fuzzing #195: Pull request #179 opened by hyperpolymath
7m 6s docs/signing-policy-d218
docs/signing-policy-d218
7m 6s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 ClusterFuzzLite PR fuzzing #194: Pull request #177 synchronize by coderabbitai Bot
6m 45s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
6m 45s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 ClusterFuzzLite PR fuzzing #193: Pull request #177 synchronize by coderabbitai Bot
7m 21s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
7m 21s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 ClusterFuzzLite PR fuzzing #192: Pull request #177 synchronize by hyperpolymath
6m 43s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
6m 43s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 ClusterFuzzLite PR fuzzing #191: Pull request #177 synchronize by hyperpolymath
6m 57s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
6m 57s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 ClusterFuzzLite PR fuzzing #190: Pull request #177 synchronize by hyperpolymath
6m 37s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
6m 37s
fix(ci): regenerate actions.lock for codeql-action v4.38.1 and wiki-sync ClusterFuzzLite PR fuzzing #189: Pull request #178 synchronize by hyperpolymath
6m 30s chore/refresh-actions-lock
chore/refresh-actions-lock
6m 30s
fix(ci): regenerate actions.lock for codeql-action v4.38.1 and wiki-sync ClusterFuzzLite PR fuzzing #188: Pull request #178 opened by hyperpolymath
6m 45s chore/refresh-actions-lock
chore/refresh-actions-lock
6m 45s
fix(proofs): census reads logical roots from _CoqProject; restore FilesystemCNO.lean pending #167 ClusterFuzzLite PR fuzzing #187: Pull request #177 opened by hyperpolymath
6m 44s fix/176-census-roots-restore-filesystemcno
fix/176-census-roots-restore-filesystemcno
6m 44s
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