Skip to content

Actions: hyperpolymath/absolute-zero

Actions

.github/workflows/deno-ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deno-ci.yml
41 workflow runs
41 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(ci): delete jekyll-gh-pages.yml — no Jekyll site here (#57) .github/workflows/deno-ci.yml #41: Commit 07552ea pushed by hyperpolymath
Failure main
main
Failure
refactor(proofs/coq): consolidate trusted-base dups (Follow-ups 1+2+3… .github/workflows/deno-ci.yml #40: Commit 0b9b215 pushed by hyperpolymath
Failure main
main
Failure
refactor(proofs/coq): consolidate trusted-base dups (Follow-ups 1+2+3) .github/workflows/deno-ci.yml #39: Pull request #67 by hyperpolymath
Failure proof-debt/dedupe-physics-constants
proof-debt/dedupe-physics-constants
Failure
refactor(proofs/coq): consolidate trusted-base dups (Follow-ups 1+2+3) .github/workflows/deno-ci.yml #38: Pull request #67 by hyperpolymath
Failure proof-debt/dedupe-physics-constants
proof-debt/dedupe-physics-constants
Failure
docs+annotate: Physics cluster — 38 inline AXIOM: + 4 §(d) DEBT entri… .github/workflows/deno-ci.yml #37: Commit 5650dd0 pushed by hyperpolymath
Failure main
main
Failure
docs+annotate: Physics cluster — 38 inline AXIOM: + 4 §(d) DEBT entries (Phase 2e) .github/workflows/deno-ci.yml #36: Pull request #66 by hyperpolymath
Failure proof-debt/physics-cluster-annotations
proof-debt/physics-cluster-annotations
Failure
feat(proofs/agda): upstream Echo/CNO bridge files from maa-framework … .github/workflows/deno-ci.yml #35: Commit 282c204 pushed by hyperpolymath
Failure main
main
Failure
feat(proofs/agda): upstream Echo/CNO bridge files from maa-framework vendored copy .github/workflows/deno-ci.yml #34: Pull request #65 by hyperpolymath
Failure claude/upstream-echobridge-from-maa
claude/upstream-echobridge-from-maa
Failure
chore(ci): bump standards reusable pins past #219 governance fix (#64) .github/workflows/deno-ci.yml #33: Commit 50f32dd pushed by hyperpolymath
Failure main
main
Failure
chore(ci): bump standards reusable pins past #219 governance fix .github/workflows/deno-ci.yml #32: Pull request #64 by hyperpolymath
Failure claude/bump-standards-pins-past-219
claude/bump-standards-pins-past-219
Failure
docs+annotate: Quantum cluster — 36 inline AXIOM: + 10 §(d) DEBT entr… .github/workflows/deno-ci.yml #31: Commit fc629e4 pushed by hyperpolymath
Failure main
main
Failure
docs+annotate: Quantum cluster — 36 inline AXIOM: + 10 §(d) DEBT entries (Phase 2d) .github/workflows/deno-ci.yml #30: Pull request #63 by hyperpolymath
Failure proof-debt/quantum-cluster-annotations
proof-debt/quantum-cluster-annotations
Failure
docs+annotate: Filesystem cluster — 26 inline AXIOM: + 8 §(d) DEBT en… .github/workflows/deno-ci.yml #29: Commit e0e0d32 pushed by hyperpolymath
Failure main
main
Failure
docs+annotate: Filesystem cluster — 26 inline AXIOM: + 8 §(d) DEBT entries (Phase 2c) .github/workflows/deno-ci.yml #28: Pull request #62 by hyperpolymath
Failure proof-debt/filesystem-cluster
proof-debt/filesystem-cluster
Failure
docs: enumerate CNOCategory.v hom_functor as §(d) DEBT (Phase 2b) (#61) .github/workflows/deno-ci.yml #27: Commit 885d85b pushed by hyperpolymath
Failure main
main
Failure
docs: enumerate CNOCategory.v hom_functor as §(d) DEBT (Phase 2b) .github/workflows/deno-ci.yml #26: Pull request #61 by hyperpolymath
Failure proof-debt/cno-common-cluster
proof-debt/cno-common-cluster
Failure
docs+annotate: Lambda cluster — inline AXIOM: comments + Lean Phase 2… .github/workflows/deno-ci.yml #25: Commit 6a17152 pushed by hyperpolymath
Failure main
main
Failure
docs+annotate: Lambda cluster — inline AXIOM: comments + Lean Phase 2a triage .github/workflows/deno-ci.yml #24: Pull request #60 by hyperpolymath
Failure proof-debt/lambda-cluster-annotations
proof-debt/lambda-cluster-annotations
Failure
docs+meta: cleanup after #58 — proof-debt cross-refs + STATE/META (#59) .github/workflows/deno-ci.yml #23: Commit 2723aad pushed by hyperpolymath
Failure main
main
Failure
docs+meta: cleanup after #58 — proof-debt cross-refs + STATE/META .github/workflows/deno-ci.yml #22: Pull request #59 by hyperpolymath
Failure docs/proof-debt-triage-cleanup-2026-05-27
docs/proof-debt-triage-cleanup-2026-05-27
Failure
docs: Phase 1 per-axiom triage of 72 Coq Axioms (#58) .github/workflows/deno-ci.yml #21: Commit e17256b pushed by hyperpolymath
Failure main
main
Failure
docs: Phase 1 per-axiom triage of 72 Coq Axioms .github/workflows/deno-ci.yml #20: Pull request #58 by hyperpolymath
Failure docs/proof-debt-triage-2026-05-27
docs/proof-debt-triage-2026-05-27
Failure
chore(ci): delete jekyll-gh-pages.yml — no Jekyll site here .github/workflows/deno-ci.yml #19: Pull request #57 by hyperpolymath
Failure cleanup/delete-doomed-jekyll
cleanup/delete-doomed-jekyll
Failure
chore(ci): replace scorecard.yml with reusable wrapper (#56) .github/workflows/deno-ci.yml #18: Commit ab35c07 pushed by hyperpolymath
Failure main
main
Failure
chore(ci): replace scorecard.yml with reusable wrapper .github/workflows/deno-ci.yml #17: Pull request #56 by hyperpolymath
Failure chore/scorecard-reusable-wrapper
chore/scorecard-reusable-wrapper
Failure