Skip to content

Actions: hyperpolymath/julianiser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
90 workflow runs
90 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
chore(deps): bump the actions group with 13 updates (#61) BoJ Server Build Trigger #90: Commit de9296f pushed by hyperpolymath
7s main
main
7s
fix(codeowners): substitute the un-instantiated {{OWNER}} placeholder… BoJ Server Build Trigger #89: Commit 5412db2 pushed by hyperpolymath
15m 10s main
main
15m 10s
ci: vendor validation scripts and remove remote action pins BoJ Server Build Trigger #88: Commit 72dbe84 pushed by hyperpolymath
44s main
main
44s
fix(ci): re-point validate-action references at the ecosystem repos (… BoJ Server Build Trigger #87: Commit e56544b pushed by hyperpolymath
2m 52s main
main
2m 52s
fix(ci): repair dogfood-gate.yml — the workflow has never run (#57) BoJ Server Build Trigger #86: Commit 2e3e3af pushed by hyperpolymath
12m 7s main
main
12m 7s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… BoJ Server Build Trigger #85: Commit 8e4eb73 pushed by hyperpolymath
2h 59m 56s main
main
2h 59m 56s
security: re-pin secret scanner onto the real gitleaks gate (#55) BoJ Server Build Trigger #84: Commit 3c44f71 pushed by hyperpolymath
13m 54s main
main
13m 54s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #83: Commit f4d2c41 pushed by hyperpolymath
21m 52s main
main
21m 52s
fix(ci): clear OSSF Scorecard startup_failure (#53) BoJ Server Build Trigger #82: Commit 4c384f6 pushed by hyperpolymath
53m 4s main
main
53m 4s
ci(abi): typecheck the Idris2 ABI in CI (G34) (#52) BoJ Server Build Trigger #81: Commit f6ed4fe pushed by hyperpolymath
8s main
main
8s
docs: convert README.md → README.adoc (estate .adoc-default policy) (… BoJ Server Build Trigger #80: Commit 645ee59 pushed by hyperpolymath
10s main
main
10s
chore(licence): add SPDX headers to headerless files (G39) (#50) BoJ Server Build Trigger #79: Commit 38a4bab pushed by hyperpolymath
10s main
main
10s
docs(readme): mark scikit-learn→MLJ as planned, not shipped (G38) (#49) BoJ Server Build Trigger #78: Commit 67fea44 pushed by hyperpolymath
9s main
main
9s
fix(codegen): parseable non-throwing Julia output; honest FFI relabel… BoJ Server Build Trigger #77: Commit 3c57147 pushed by hyperpolymath
10s main
main
10s
fix(clade): correct identity uuid (deterministic v5) (#47) BoJ Server Build Trigger #76: Commit 449bb2f pushed by hyperpolymath
3m 16s main
main
3m 16s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… BoJ Server Build Trigger #75: Commit f4551d4 pushed by hyperpolymath
11s main
main
11s
ABI Layer 5: end-to-end soundness capstone certificate (#45) BoJ Server Build Trigger #74: Commit 4a5ac2a pushed by hyperpolymath
8s main
main
8s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #73: Commit 638f66a pushed by hyperpolymath
7s main
main
7s
ABI Layer 3: compositionality — translation is a homomorphism over th… BoJ Server Build Trigger #72: Commit 8bd0eb9 pushed by hyperpolymath
20s main
main
20s
abi: prove translation preserves results (Julianiser.ABI.Semantics) (… BoJ Server Build Trigger #71: Commit a937d93 pushed by hyperpolymath
1m 13s main
main
1m 13s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#41) BoJ Server Build Trigger #70: Commit 0a2d5c4 pushed by hyperpolymath
1h 16m 40s main
main
1h 16m 40s
ci: add ABI↔FFI conformance gate (#40) BoJ Server Build Trigger #69: Commit f347889 pushed by hyperpolymath
1m 5s main
main
1m 5s
Auto-install pinned Zig toolchain in setup + devcontainer (#39) BoJ Server Build Trigger #68: Commit 7e31dad pushed by hyperpolymath
4m 29s main
main
4m 29s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… BoJ Server Build Trigger #67: Commit 7ba8cc7 pushed by hyperpolymath
2m 9s main
main
2m 9s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#37) BoJ Server Build Trigger #66: Commit 4c7f468 pushed by hyperpolymath
1m 14s main
main
1m 14s