Skip to content

Actions: hyperpolymath/absolute-zero

Actions

Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proofs.yml
21 workflow runs
21 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): adopt Actions dependency lockfile (estate startup_failure re… Proofs #21: Commit df5226f pushed by hyperpolymath
1m 38s main
main
1m 38s
fix(ci): adopt Actions dependency lockfile (estate startup_failure remediation) Proofs #20: Pull request #123 opened by hyperpolymath
1m 37s ci/actions-lockfile
ci/actions-lockfile
1m 37s
chore(deps): bump the actions group with 7 updates (#118) Proofs #19: Commit cb08db2 pushed by hyperpolymath
1m 34s main
main
1m 34s
chore(deps): bump the actions group with 7 updates Proofs #18: Pull request #118 opened by dependabot Bot
25m 22s dependabot/github_actions/actions-567b0d07d2
dependabot/github_actions/actions-567b0d07d2
25m 22s
feat(lean): mirror the A2 reversibility↔CNO bridge (UNVERIFIED — env-… Proofs #17: Commit 1e5c615 pushed by hyperpolymath
2m 37s main
main
2m 37s
feat(lean): mirror the A2 reversibility↔CNO bridge (UNVERIFIED — env-blocked) Proofs #16: Pull request #110 opened by hyperpolymath
1m 52s claude/project-scope-planning-8agyox
claude/project-scope-planning-8agyox
1m 52s
feat(coq): prove the reversibility↔CNO bridge MAA cites (A2, zero axi… Proofs #15: Commit c233752 pushed by hyperpolymath
1m 30s main
main
1m 30s
feat(coq): prove the reversibility↔CNO bridge MAA cites (A2, zero axioms) Proofs #14: Pull request #109 opened by hyperpolymath
1m 51s claude/project-scope-planning-8agyox
claude/project-scope-planning-8agyox
1m 51s
ci: add reliable Agda job (version-matched agda-stdlib via git) (#106) Proofs #13: Commit 2acfc89 pushed by hyperpolymath
1m 34s main
main
1m 34s
ci: add reliable Agda job (version-matched agda-stdlib via git) Proofs #12: Pull request #106 opened by hyperpolymath
1m 52s ci-agda-stdlib
ci-agda-stdlib
1m 52s
fix(ci): drop flaky Agda job — reliable green Coq + Z3 (#105) Proofs #11: Commit bf6f1e0 pushed by hyperpolymath
32s main
main
32s
fix(ci): drop flaky Agda job — reliable green Coq + Z3 Proofs #10: Pull request #105 synchronize by hyperpolymath
28s ci-drop-agda
ci-drop-agda
28s
fix(ci): drop flaky Agda job — reliable green Coq + Z3 Proofs #9: Pull request #105 opened by hyperpolymath
47s ci-drop-agda
ci-drop-agda
47s
fix(ci): Agda job — use -i stdlib sources (Ubuntu ships no .agda-lib)… Proofs #8: Commit 720e410 pushed by hyperpolymath
44s main
main
44s
fix(ci): Agda job — use -i stdlib sources (Ubuntu ships no .agda-lib) Proofs #7: Pull request #104 opened by hyperpolymath
51s ci-agda-fix2
ci-agda-fix2
51s
fix(ci): robust agda-stdlib registration (green the proofs workflow) … Proofs #6: Commit 137aaf9 pushed by hyperpolymath
1m 2s main
main
1m 2s
fix(ci): robust agda-stdlib registration (green the proofs workflow) Proofs #5: Pull request #103 opened by hyperpolymath
1m 38s ci-agda-fix
ci-agda-fix
1m 38s
chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI (#102) Proofs #4: Commit 42b2001 pushed by hyperpolymath
54s main
main
54s
chore(naming)+ci: migrate 6a2 → descriptiles; harden proofs CI Proofs #3: Pull request #102 opened by hyperpolymath
46s descriptiles-ci
descriptiles-ci
46s
docs+ci+bot: post-PR#100 hygiene sweep (docs, wiki, CI, machine-reada… Proofs #2: Commit 25d0d3d pushed by hyperpolymath
35s main
main
35s
docs+ci+bot: post-PR#100 hygiene sweep (docs, wiki, CI, machine-readable) Proofs #1: Pull request #101 opened by hyperpolymath
29s worktree-docs-hygiene-sweep
worktree-docs-hygiene-sweep
29s