Skip to content

Actions: hyperpolymath/julianiser

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
77 workflow runs
77 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 4 updates (#64) GitHub Pages #77: Commit 85a71b2 pushed by hyperpolymath
2m 34s main
main
2m 34s
chore(ci): make Scorecard periodic, not per-push (#63) GitHub Pages #76: Commit 416da95 pushed by hyperpolymath
9h 50m 57s main
main
9h 50m 57s
chore(deps): bump the actions group with 13 updates (#61) GitHub Pages #75: Commit de9296f pushed by hyperpolymath
23m 28s main
main
23m 28s
fix(codeowners): substitute the un-instantiated {{OWNER}} placeholder… GitHub Pages #74: Commit 5412db2 pushed by hyperpolymath
16m 3s main
main
16m 3s
ci: vendor validation scripts and remove remote action pins GitHub Pages #73: Commit 72dbe84 pushed by hyperpolymath
1m 43s main
main
1m 43s
fix(ci): re-point validate-action references at the ecosystem repos (… GitHub Pages #72: Commit e56544b pushed by hyperpolymath
3m 29s main
main
3m 29s
fix(ci): repair dogfood-gate.yml — the workflow has never run (#57) GitHub Pages #71: Commit 2e3e3af pushed by hyperpolymath
12m 25s main
main
12m 25s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… GitHub Pages #70: Commit 8e4eb73 pushed by hyperpolymath
3h 0m 9s main
main
3h 0m 9s
security: re-pin secret scanner onto the real gitleaks gate (#55) GitHub Pages #69: Commit 3c44f71 pushed by hyperpolymath
14m 51s main
main
14m 51s
ci: Secret Scanner caller must grant the reusable's job permissions (… GitHub Pages #68: Commit f4d2c41 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#53) GitHub Pages #67: Commit 4c384f6 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci(abi): typecheck the Idris2 ABI in CI (G34) (#52) GitHub Pages #66: Commit f6ed4fe pushed by hyperpolymath
Startup failure main
main
Startup failure
docs: convert README.md → README.adoc (estate .adoc-default policy) (… GitHub Pages #65: Commit 645ee59 pushed by hyperpolymath
Startup failure main
main
Startup failure
chore(licence): add SPDX headers to headerless files (G39) (#50) GitHub Pages #64: Commit 38a4bab pushed by hyperpolymath
Startup failure main
main
Startup failure
docs(readme): mark scikit-learn→MLJ as planned, not shipped (G38) (#49) GitHub Pages #63: Commit 67fea44 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(codegen): parseable non-throwing Julia output; honest FFI relabel… GitHub Pages #62: Commit 3c57147 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#47) GitHub Pages #61: Commit 449bb2f pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… GitHub Pages #60: Commit f4551d4 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#45) GitHub Pages #59: Commit 4a5ac2a pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… GitHub Pages #58: Commit 638f66a pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: compositionality — translation is a homomorphism over th… GitHub Pages #57: Commit 8bd0eb9 pushed by hyperpolymath
27m 36s main
main
27m 36s
abi: prove translation preserves results (Julianiser.ABI.Semantics) (… GitHub Pages #56: Commit a937d93 pushed by hyperpolymath
24m 33s main
main
24m 33s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#41) GitHub Pages #55: Commit 0a2d5c4 pushed by hyperpolymath
1h 41m 52s main
main
1h 41m 52s
ci: add ABI↔FFI conformance gate (#40) GitHub Pages #54: Commit f347889 pushed by hyperpolymath
25m 47s main
main
25m 47s
Auto-install pinned Zig toolchain in setup + devcontainer (#39) GitHub Pages #53: Commit 7e31dad pushed by hyperpolymath
28m 10s main
main
28m 10s