Skip to content

Actions: hyperpolymath/ephapax

Actions

.github/workflows/rust-ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
424 workflow runs
424 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
state: shift next_action to Phase 1 (ground_nonlinear_retype_l1_m) (#… .github/workflows/rust-ci.yml #424: Commit d93151b pushed by hyperpolymath
Failure main
main
Failure
state: shift next_action to Phase 1 (ground_nonlinear_retype_l1_m) — … .github/workflows/rust-ci.yml #423: Commit f0cfe73 pushed by hyperpolymath
Failure phase-d-slice-4-state-shift-to-phase1-ground-nonlinear-retype-2026-05-28
phase-d-slice-4-state-shift-to-phase1-ground-nonlinear-retype-2026-05-28
Failure
docs: SUBST-LEMMA-GENERALIZATION-DESIGN — Phase D slice 4 plan (#213) .github/workflows/rust-ci.yml #422: Commit 9e5d49d pushed by hyperpolymath
Failure main
main
Failure
docs: SUBST-LEMMA-GENERALIZATION-DESIGN.md — Phase D slice 4 subst-le… .github/workflows/rust-ci.yml #421: Commit 79c6368 pushed by hyperpolymath
Failure phase-d-slice-4-subst-lemma-design-doc-2026-05-28
phase-d-slice-4-subst-lemma-design-doc-2026-05-28
Failure
state: shift next_action to subst_typing_gen_l1_m generalisation — Ph… .github/workflows/rust-ci.yml #420: Commit 3380c14 pushed by hyperpolymath
Failure main
main
Failure
state: shift next_action to subst_typing_gen_l1_m generalisation — Ph… .github/workflows/rust-ci.yml #419: Commit 2524c61 pushed by hyperpolymath
Failure phase-d-slice-4-state-shift-to-subst-lemma-generality-2026-05-28
phase-d-slice-4-state-shift-to-subst-lemma-generality-2026-05-28
Failure
feat(L2): preservation_l2_via_l1 — Phase D slice 4 partial landing (#… .github/workflows/rust-ci.yml #418: Commit 87dcab4 pushed by hyperpolymath
-1s main
main
-1s
feat(L2): preservation_l2_via_l1 — Phase D slice 4 partial landing .github/workflows/rust-ci.yml #417: Commit 1131141 pushed by hyperpolymath
Failure phase-d-slice-4-preservation-l2-via-l1-2026-05-28
phase-d-slice-4-preservation-l2-via-l1-2026-05-28
Failure
state: shift next_action to preservation_l2 — slice 3 closed (#210) .github/workflows/rust-ci.yml #416: Commit 5763648 pushed by hyperpolymath
Failure main
main
Failure
state: shift next_action to preservation_l2 — slice 3 T_App_L2_Eff me… .github/workflows/rust-ci.yml #415: Commit 2dd2fcf pushed by hyperpolymath
Failure phase-d-slice-3-state-shift-to-preservation-l2-2026-05-28
phase-d-slice-3-state-shift-to-preservation-l2-2026-05-28
Failure
feat(L2): T_App_L2_Eff — Phase D slice 3 option 5a code lands (#209) .github/workflows/rust-ci.yml #414: Commit 49fb46a pushed by hyperpolymath
Failure main
main
Failure
feat(L2): add T_App_L2_Eff constructor — Phase D slice 3 option 5a im… .github/workflows/rust-ci.yml #413: Commit 11e8063 pushed by hyperpolymath
Failure phase-d-slice-3-t-app-l2-eff-2026-05-28
phase-d-slice-3-t-app-l2-eff-2026-05-28
Failure
docs: Phase D slice 3 session 5 — owner picks option 5a (level-split)… .github/workflows/rust-ci.yml #412: Commit 79cb1b0 pushed by hyperpolymath
Failure main
main
Failure
docs: Phase D slice 3 session 5 — owner picks option 5a (level-split) .github/workflows/rust-ci.yml #411: Commit 38ffac4 pushed by hyperpolymath
Failure phase-d-slice-3-option-5a-decision-2026-05-28
phase-d-slice-3-option-5a-decision-2026-05-28
Failure
docs: Phase D slice 3 sub-addendum — option 4 non-viable + option 5 (… .github/workflows/rust-ci.yml #410: Commit d6bfe35 pushed by hyperpolymath
Failure main
main
Failure
docs: Phase D slice 3 sub-addendum — option 4 (meta-lemma) non-viable… .github/workflows/rust-ci.yml #409: Commit a04c38e pushed by hyperpolymath
Failure phase-d-slice-3-option-4-analysis-2026-05-28
phase-d-slice-3-option-4-analysis-2026-05-28
Failure
feat(spec): add TRG + CRG profiles for Ephapax (#206) .github/workflows/rust-ci.yml #408: Commit 241b456 pushed by hyperpolymath
Failure main
main
Failure
docs(spec): add TRG-D + CRG-D per-language profile .github/workflows/rust-ci.yml #407: Commit dd5a750 pushed by hyperpolymath
Failure trg-crg-profile-landing-rebased
trg-crg-profile-landing-rebased
Failure
docs: Phase D slice 3 findings — T_App_L1_Eff reverted, redesign opti… .github/workflows/rust-ci.yml #406: Commit 418ed21 pushed by hyperpolymath
Failure main
main
Failure
docs(spec): add TRG-D + CRG-D per-language profile .github/workflows/rust-ci.yml #405: Commit 7b5fa64 pushed by hyperpolymath
Failure trg-crg-profile-landing
trg-crg-profile-landing
Failure
docs: Phase D slice 3 findings (2026-05-28) — T_App_L1_Eff reverted, … .github/workflows/rust-ci.yml #404: Commit 8edba5b pushed by hyperpolymath
Failure phase-d-slice-3-findings-2026-05-28
phase-d-slice-3-findings-2026-05-28
Failure
proof(L2 Phase 2 / Phase D slice 2): T_Lam_L1_*_Eff rules + cascade (… .github/workflows/rust-ci.yml #403: Commit c1c753e pushed by hyperpolymath
Failure main
main
Failure
proof(L2 Phase 2 / Phase D slice 2): T_Lam_L1_*_Eff rules + cascade .github/workflows/rust-ci.yml #402: Commit 985ce1a pushed by hyperpolymath
Failure phase-d-slice-2-tlam-eff-v2
phase-d-slice-2-tlam-eff-v2
Failure
docs: Phase D redesign memo (2026-05-28) — slice 2 substitution-lemma… .github/workflows/rust-ci.yml #401: Commit a159c36 pushed by hyperpolymath
Failure main
main
Failure
docs: Phase D redesign memo (2026-05-28) — slice 2 substitution-lemma… .github/workflows/rust-ci.yml #400: Commit 667a57a pushed by hyperpolymath
Failure phase-d-design-memo-2026-05-28
phase-d-design-memo-2026-05-28
Failure