Skip to content

Actions: hyperpolymath/ephapax

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
151 workflow runs
151 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
ci(antipattern): fix top-level dir + benchmark/lsp filename matching … BoJ Server Build Trigger #151: Commit 2511aed pushed by hyperpolymath
1h 22m 23s main
main
1h 22m 23s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#39) BoJ Server Build Trigger #150: Commit b3855a8 pushed by hyperpolymath
21m 8s main
main
21m 8s
ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vsco… BoJ Server Build Trigger #149: Commit c870ce4 pushed by hyperpolymath
1h 35m 44s main
main
1h 35m 44s
ci(antipattern): allowlist legit TS bridge/adapter paths (#37) BoJ Server Build Trigger #148: Commit c756444 pushed by hyperpolymath
20m 58s main
main
20m 58s
proof(formal): close preservation theorem — zero Admitted (#35) BoJ Server Build Trigger #147: Commit ef9c91f pushed by hyperpolymath
1h 1m 5s main
main
1h 1m 5s
proof(formal): close L3009 admit + 2 reusable region lemmas + chore (… BoJ Server Build Trigger #146: Commit 9a4bfdc pushed by hyperpolymath
1h 2m 11s main
main
1h 2m 11s
fix(deps): bump openssl 0.10.76 -> 0.10.78 (5 dependabot alerts) (#33) BoJ Server Build Trigger #145: Commit d62b827 pushed by hyperpolymath
10s main
main
10s
fix(ephapax): sweep .expect("TODO: handle error") — 116 sites (#32) BoJ Server Build Trigger #144: Commit a1fd5bb pushed by hyperpolymath
8s main
main
8s
build(deps): bump rustls-webpki from 0.103.10 to 0.103.13 in the carg… BoJ Server Build Trigger #143: Commit 1792e4a pushed by hyperpolymath
10s main
main
10s
Docs/vision relocation 2026 04 17 (#29) BoJ Server Build Trigger #142: Commit dbf4bdd pushed by hyperpolymath
7s main
main
7s
chore(state): populate [dogfooding-status] — proven/bindings/ephapax … BoJ Server Build Trigger #141: Commit ab199ab pushed by hyperpolymath
5h 10m 49s main
main
5h 10m 49s
chore(main-history): linearize from 0f2b917 (squash-rebuild 2026-04-19) BoJ Server Build Trigger #140: Commit 68cdb41 pushed by hyperpolymath
5h 18m 55s main
main
5h 18m 55s
chore(main-history): linearize from 0f2b917 (squash-rebuild 2026-04-19) BoJ Server Build Trigger #139: Commit 37f8887 pushed by hyperpolymath
5h 20m 41s main
main
5h 20m 41s
chore(contractiles): add bust/ + relocate k9 to svc/ BoJ Server Build Trigger #138: Commit ed51063 pushed by hyperpolymath
5h 22m 38s main
main
5h 22m 38s
Standardize workspace: Justfile migration and A2ML directive cleanup BoJ Server Build Trigger #137: Commit c7aa57b pushed by hyperpolymath
4m 47s main
main
4m 47s
Docs/vision relocation 2026 04 17 (#27) BoJ Server Build Trigger #136: Commit ef8ed9d pushed by hyperpolymath
9s main
main
9s
docs(governance): CRG v2.0 STRICT audit — C (declared) -> D (honest) BoJ Server Build Trigger #135: Commit c84e364 pushed by hyperpolymath
9s main
main
9s
chore: estate-wide chore + stale-path sweep (2026-04-17) BoJ Server Build Trigger #134: Commit c86aa0d pushed by hyperpolymath
1h 52m 31s main
main
1h 52m 31s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback BoJ Server Build Trigger #133: Commit 95dcd66 pushed by hyperpolymath
25m 18s main
main
25m 18s
Merge remote-tracking branch 'origin/main' BoJ Server Build Trigger #132: Commit f9742d9 pushed by hyperpolymath
7s main
main
7s
build(deps): bump rand from 0.9.2 to 0.9.4 in the cargo group across … BoJ Server Build Trigger #131: Commit a041434 pushed by hyperpolymath
12s main
main
12s
feat(formal): region proof tactics + CI workflow + 6a2 A2ML enrichment BoJ Server Build Trigger #130: Commit c618e59 pushed by hyperpolymath
4m 3s main
main
4m 3s
docs(explainme): improve completeness per README-EXPLAINME-STANDARD BoJ Server Build Trigger #129: Commit bd488ad pushed by hyperpolymath
57s main
main
57s
feat(formal): 63 Qed / 1 Admitted — close T_Region_Active extension BoJ Server Build Trigger #128: Commit 206b098 pushed by hyperpolymath
7s main
main
7s
fix(papers): resolve LaTeX compilation errors and overflow warnings BoJ Server Build Trigger #127: Commit 4883e22 pushed by hyperpolymath
8s main
main
8s