Skip to content

Actions: hyperpolymath/ephapax

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
474 workflow runs
474 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(lint): clear the clippy backlog the revived Rust CI exposed (#361) Mirror to Git Forges #474: Commit 2994db1 pushed by hyperpolymath
3m 32s main
main
3m 32s
fix(ci): revive Rust CI — it had never run (60/60 startup failures) (… Mirror to Git Forges #473: Commit d7f1b49 pushed by hyperpolymath
4m 0s main
main
4m 0s
chore: settle the licence contradiction, drop dead code (closes #265,… Mirror to Git Forges #472: Commit bcaa977 pushed by hyperpolymath
2m 41s main
main
2m 41s
fix(ci): estate-wide foundational remediation (#357) Mirror to Git Forges #471: Commit 92ad298 pushed by hyperpolymath
20m 32s main
main
20m 32s
Sync local commits to main (#356) Mirror to Git Forges #470: Commit 625ff8e pushed by hyperpolymath
1h 28m 48s main
main
1h 28m 48s
build(deps): bump the actions group with 2 updates (#355) Mirror to Git Forges #469: Commit 9046da7 pushed by hyperpolymath
3m 0s main
main
3m 0s
build(deps): bump the actions group with 3 updates (#354) Mirror to Git Forges #468: Commit 8bc7115 pushed by hyperpolymath
4m 10s main
main
4m 10s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… Mirror to Git Forges #467: Commit 29fb14b pushed by hyperpolymath
3h 12m 47s main
main
3h 12m 47s
build(deps): bump actions/checkout from 7.0.0 to 7.0.1 in the actions… Mirror to Git Forges #466: Commit 0fae02a pushed by hyperpolymath
4m 9s main
main
4m 9s
build(deps): bump the actions group with 3 updates (#351) Mirror to Git Forges #465: Commit 52bb739 pushed by hyperpolymath
3m 24s main
main
3m 24s
ci: Secret Scanner caller must grant the reusable's job permissions (… Mirror to Git Forges #464: Commit e8d6d54 pushed by hyperpolymath
28m 30s main
main
28m 30s
build(deps): bump the actions group with 2 updates (#349) Mirror to Git Forges #463: Commit 0cfa994 pushed by hyperpolymath
11m 1s main
main
11m 1s
test(seam): cross-verifier conformance for the access-sites carrier (… Mirror to Git Forges #462: Commit b5d49a7 pushed by hyperpolymath
3m 20s main
main
3m 20s
feat(codegen): emit typedwasm.regions + access-sites carriers (closes… Mirror to Git Forges #461: Commit fc32791 pushed by hyperpolymath
3m 18s main
main
3m 18s
feat(modules): stdlib import search path — 'import Argv' works from a… Mirror to Git Forges #460: Commit 02865d1 pushed by hyperpolymath
3m 25s main
main
3m 25s
proof(L1): experiment 3b — preservation_l1 is provably FALSE as state… Mirror to Git Forges #459: Commit 22e278e pushed by hyperpolymath
3m 19s main
main
3m 19s
test(corpus): whole-repo .eph ratchet gate — only 13/119 files compil… Mirror to Git Forges #458: Commit 92cd278 pushed by hyperpolymath
20m 21s main
main
20m 21s
proof(L1): experiment 3 — step_pop_disjoint_from_type_l1 is provably … Mirror to Git Forges #457: Commit 84a7bdc pushed by hyperpolymath
20m 15s main
main
20m 15s
chore(hygiene): purge committed build artifacts + fix Secret Scanner … Mirror to Git Forges #456: Commit b2ee89e pushed by hyperpolymath
35m 2s main
main
35m 2s
fix(idris2): make the dyadic parse front-end actually compile + gate … Mirror to Git Forges #455: Commit d2bd75f pushed by hyperpolymath
39m 8s main
main
39m 8s
brand: new e-mark (Euler's e + ἐφάπαξ), fix README hero positioning (… Mirror to Git Forges #454: Commit 632910b pushed by hyperpolymath
3m 15s main
main
3m 15s
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#338) Mirror to Git Forges #453: Commit f95d1db pushed by hyperpolymath
17m 24s main
main
17m 24s
build(deps): bump the actions group with 2 updates (#337) Mirror to Git Forges #452: Commit 3ea3893 pushed by hyperpolymath
3m 22s main
main
3m 22s
build(deps): bump dawidd6/action-send-mail from 994f270325d4f7257aff2… Mirror to Git Forges #451: Commit 55d6a24 pushed by hyperpolymath
3m 14s main
main
3m 14s
build(deps): bump dtolnay/rust-toolchain from 67ef31d5b988238dd797d40… Mirror to Git Forges #450: Commit 0e96a10 pushed by hyperpolymath
3m 12s main
main
3m 12s