Skip to content

Actions: hyperpolymath/ephapax

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
382 workflow runs
382 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): estate-wide foundational remediation (#357) BoJ Server Build Trigger #382: Commit 92ad298 pushed by hyperpolymath
18m 2s main
main
18m 2s
Sync local commits to main (#356) BoJ Server Build Trigger #381: Commit 625ff8e pushed by hyperpolymath
1h 22m 20s main
main
1h 22m 20s
build(deps): bump the actions group with 2 updates (#355) BoJ Server Build Trigger #380: Commit 9046da7 pushed by hyperpolymath
7s main
main
7s
build(deps): bump the actions group with 3 updates (#354) BoJ Server Build Trigger #379: Commit 8bc7115 pushed by hyperpolymath
12s main
main
12s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… BoJ Server Build Trigger #378: Commit 29fb14b pushed by hyperpolymath
3h 9m 19s main
main
3h 9m 19s
build(deps): bump actions/checkout from 7.0.0 to 7.0.1 in the actions… BoJ Server Build Trigger #377: Commit 0fae02a pushed by hyperpolymath
28s main
main
28s
build(deps): bump the actions group with 3 updates (#351) BoJ Server Build Trigger #376: Commit 52bb739 pushed by hyperpolymath
10s main
main
10s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #375: Commit e8d6d54 pushed by hyperpolymath
22m 37s main
main
22m 37s
build(deps): bump the actions group with 2 updates (#349) BoJ Server Build Trigger #374: Commit 0cfa994 pushed by hyperpolymath
9m 4s main
main
9m 4s
test(seam): cross-verifier conformance for the access-sites carrier (… BoJ Server Build Trigger #373: Commit b5d49a7 pushed by hyperpolymath
12s main
main
12s
feat(codegen): emit typedwasm.regions + access-sites carriers (closes… BoJ Server Build Trigger #372: Commit fc32791 pushed by hyperpolymath
10s main
main
10s
feat(modules): stdlib import search path — 'import Argv' works from a… BoJ Server Build Trigger #371: Commit 02865d1 pushed by hyperpolymath
8s main
main
8s
proof(L1): experiment 3b — preservation_l1 is provably FALSE as state… BoJ Server Build Trigger #370: Commit 22e278e pushed by hyperpolymath
9s main
main
9s
test(corpus): whole-repo .eph ratchet gate — only 13/119 files compil… BoJ Server Build Trigger #369: Commit 92cd278 pushed by hyperpolymath
18m 23s main
main
18m 23s
proof(L1): experiment 3 — step_pop_disjoint_from_type_l1 is provably … BoJ Server Build Trigger #368: Commit 84a7bdc pushed by hyperpolymath
34s main
main
34s
chore(hygiene): purge committed build artifacts + fix Secret Scanner … BoJ Server Build Trigger #367: Commit b2ee89e pushed by hyperpolymath
16m 6s main
main
16m 6s
fix(idris2): make the dyadic parse front-end actually compile + gate … BoJ Server Build Trigger #366: Commit d2bd75f pushed by hyperpolymath
14m 1s main
main
14m 1s
brand: new e-mark (Euler's e + ἐφάπαξ), fix README hero positioning (… BoJ Server Build Trigger #365: Commit 632910b pushed by hyperpolymath
11s main
main
11s
fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#338) BoJ Server Build Trigger #364: Commit f95d1db pushed by hyperpolymath
14m 3s main
main
14m 3s
build(deps): bump the actions group with 2 updates (#337) BoJ Server Build Trigger #363: Commit 3ea3893 pushed by hyperpolymath
11s main
main
11s
build(deps): bump dawidd6/action-send-mail from 994f270325d4f7257aff2… BoJ Server Build Trigger #362: Commit 55d6a24 pushed by hyperpolymath
10s main
main
10s
build(deps): bump dtolnay/rust-toolchain from 67ef31d5b988238dd797d40… BoJ Server Build Trigger #361: Commit 0e96a10 pushed by hyperpolymath
7s main
main
7s
feat(ffi): contract-test the idris2↔zig token-buffer ABI (seams) (#334) BoJ Server Build Trigger #360: Commit cac5c4c pushed by hyperpolymath
8s main
main
8s
chore(cleanup): remove dead lib/ duplicates + legacy OCaml prototype … BoJ Server Build Trigger #359: Commit 6a9a91c pushed by hyperpolymath
19s main
main
19s
proof(L1): choreographic experiment 2 — non-collapsed trace model clo… BoJ Server Build Trigger #358: Commit 8018240 pushed by hyperpolymath
48s main
main
48s