Skip to content

Actions: hyperpolymath/ephapax

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
233 workflow runs
233 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(ephapax): sweep .expect("TODO: handle error") — 116 sites (#32) Mirror to Git Forges #233: Commit a1fd5bb pushed by hyperpolymath
3m 1s main
main
3m 1s
build(deps): bump rustls-webpki from 0.103.10 to 0.103.13 in the carg… Mirror to Git Forges #232: Commit 1792e4a pushed by hyperpolymath
3m 3s main
main
3m 3s
Docs/vision relocation 2026 04 17 (#29) Mirror to Git Forges #231: Commit dbf4bdd pushed by hyperpolymath
3m 6s main
main
3m 6s
chore(state): populate [dogfooding-status] — proven/bindings/ephapax … Mirror to Git Forges #230: Commit ab199ab pushed by hyperpolymath
5h 10m 42s main
main
5h 10m 42s
chore(main-history): linearize from 0f2b917 (squash-rebuild 2026-04-19) Mirror to Git Forges #229: Commit 68cdb41 pushed by hyperpolymath
5h 21m 16s main
main
5h 21m 16s
chore(main-history): linearize from 0f2b917 (squash-rebuild 2026-04-19) Mirror to Git Forges #228: Commit 37f8887 pushed by hyperpolymath
5h 22m 49s main
main
5h 22m 49s
chore(contractiles): add bust/ + relocate k9 to svc/ Mirror to Git Forges #227: Commit ed51063 pushed by hyperpolymath
5h 22m 53s main
main
5h 22m 53s
Standardize workspace: Justfile migration and A2ML directive cleanup Mirror to Git Forges #226: Commit c7aa57b pushed by hyperpolymath
8m 11s main
main
8m 11s
Docs/vision relocation 2026 04 17 (#27) Mirror to Git Forges #225: Commit ef8ed9d pushed by hyperpolymath
3m 5s main
main
3m 5s
docs(governance): CRG v2.0 STRICT audit — C (declared) -> D (honest) Mirror to Git Forges #224: Commit c84e364 pushed by hyperpolymath
3m 13s main
main
3m 13s
chore: estate-wide chore + stale-path sweep (2026-04-17) Mirror to Git Forges #223: Commit c86aa0d pushed by hyperpolymath
1h 55m 52s main
main
1h 55m 52s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Mirror to Git Forges #222: Commit 95dcd66 pushed by hyperpolymath
22m 27s main
main
22m 27s
Merge remote-tracking branch 'origin/main' Mirror to Git Forges #221: Commit f9742d9 pushed by hyperpolymath
3m 0s main
main
3m 0s
build(deps): bump rand from 0.9.2 to 0.9.4 in the cargo group across … Mirror to Git Forges #220: Commit a041434 pushed by hyperpolymath
3m 13s main
main
3m 13s
feat(formal): region proof tactics + CI workflow + 6a2 A2ML enrichment Mirror to Git Forges #219: Commit c618e59 pushed by hyperpolymath
9m 8s main
main
9m 8s
docs(explainme): improve completeness per README-EXPLAINME-STANDARD Mirror to Git Forges #218: Commit bd488ad pushed by hyperpolymath
3m 52s main
main
3m 52s
feat(formal): 63 Qed / 1 Admitted — close T_Region_Active extension Mirror to Git Forges #217: Commit 206b098 pushed by hyperpolymath
3m 19s main
main
3m 19s
fix(papers): resolve LaTeX compilation errors and overflow warnings Mirror to Git Forges #216: Commit 4883e22 pushed by hyperpolymath
3m 4s main
main
3m 4s
chore(a2ml-migration): remove legacy .scm checkpoint files Mirror to Git Forges #215: Commit 53a47a0 pushed by hyperpolymath
3m 0s main
main
3m 0s
Add nextgen-typing pipeline links in ECOSYSTEM Mirror to Git Forges #214: Commit 6bc8a98 pushed by hyperpolymath
3m 13s main
main
3m 13s
proof(formal): close typing_ctx_transfer — Qed; document preservation… Mirror to Git Forges #213: Commit 501077c pushed by hyperpolymath
3m 1s main
main
3m 1s
chore(state): update STATE.a2ml — proofs fully closed (67 Qed, 0 Admi… Mirror to Git Forges #212: Commit edabd85 pushed by hyperpolymath
3m 10s main
main
3m 10s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Mirror to Git Forges #211: Commit 3a96fa5 pushed by hyperpolymath
1h 45m 13s main
main
1h 45m 13s
build(deps): bump wasmtime from 36.0.6 to 36.0.7 in the cargo group a… Mirror to Git Forges #210: Commit 0096117 pushed by hyperpolymath
3m 0s main
main
3m 0s
chore: automated sync of local changes Mirror to Git Forges #209: Commit e1492ad pushed by hyperpolymath
3m 3s main
main
3m 3s