Skip to content

Actions: hyperpolymath/nimiser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
78 workflow runs
78 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): close the governance gate — SPDX, permissions, SHA pins, reu… BoJ Server Build Trigger #78: Commit 5c3527f pushed by hyperpolymath
2h 57m 5s main
main
2h 57m 5s
security: re-pin secret scanner onto the real gitleaks gate (#44) BoJ Server Build Trigger #77: Commit 2625666 pushed by hyperpolymath
17m 24s main
main
17m 24s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #76: Commit 8d8fdf3 pushed by hyperpolymath
10m 39s main
main
10m 39s
fix(ci): clear OSSF Scorecard startup_failure (#42) BoJ Server Build Trigger #75: Commit 1dfd6e5 pushed by hyperpolymath
46m 11s main
main
46m 11s
fix(clade): correct identity uuid (deterministic v5) (#41) BoJ Server Build Trigger #74: Commit 1cbe5d3 pushed by hyperpolymath
5m 37s main
main
5m 37s
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… BoJ Server Build Trigger #73: Commit 35c90de pushed by hyperpolymath
10s main
main
10s
ABI Layer 5: end-to-end soundness capstone certificate (#39) BoJ Server Build Trigger #72: Commit 7fda0e9 pushed by hyperpolymath
11s main
main
11s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #71: Commit 8e0badc pushed by hyperpolymath
9s main
main
9s
ABI Layer 3: type-lowering injectivity + composition (two deeper code… BoJ Server Build Trigger #70: Commit d6ec80c pushed by hyperpolymath
1m 5s main
main
1m 5s
abi(nimiser): prove C-binding signature preservation (Layer 2) (#36) BoJ Server Build Trigger #69: Commit 5b2fada pushed by hyperpolymath
36s main
main
36s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#35) BoJ Server Build Trigger #68: Commit b2598e7 pushed by hyperpolymath
1h 35m 38s main
main
1h 35m 38s
ci: add ABI↔FFI conformance gate (#34) BoJ Server Build Trigger #67: Commit 02ed1dc pushed by hyperpolymath
43s main
main
43s
Auto-install pinned Zig toolchain in setup + devcontainer (#33) BoJ Server Build Trigger #66: Commit 52f5330 pushed by hyperpolymath
5m 18s main
main
5m 18s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… BoJ Server Build Trigger #65: Commit be1d62d pushed by hyperpolymath
1m 41s main
main
1m 41s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#31) BoJ Server Build Trigger #64: Commit 6908e75 pushed by hyperpolymath
47s main
main
47s
chore(clade): backfill [status] lifecycle block (default active) (#29) BoJ Server Build Trigger #63: Commit a2c9325 pushed by hyperpolymath
21h 1m 19s main
main
21h 1m 19s
chore(ci): add dormant push-email notification workflow (#30) BoJ Server Build Trigger #62: Commit 5d3c2ec pushed by hyperpolymath
20h 56m 30s main
main
20h 56m 30s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#28) BoJ Server Build Trigger #61: Commit 477779f pushed by hyperpolymath
18h 53m 55s main
main
18h 53m 55s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#27) BoJ Server Build Trigger #60: Commit 8c558e7 pushed by hyperpolymath
4h 31m 59s main
main
4h 31m 59s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#26) BoJ Server Build Trigger #59: Commit 5718069 pushed by hyperpolymath
33m 37s main
main
33m 37s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #58: Commit d6bc8a7 pushed by hyperpolymath
58m 16s main
main
58m 16s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… BoJ Server Build Trigger #57: Commit 0a34a0d pushed by hyperpolymath
21m 40s main
main
21m 40s
ci: cut Actions burn in .github/workflows/k9-svc-validation.yml (scop… BoJ Server Build Trigger #56: Commit 82b6d7a pushed by hyperpolymath
15s main
main
15s
Base camp: RSR Mustfile + green CI (#24) BoJ Server Build Trigger #55: Commit 30b7184 pushed by hyperpolymath
44s main
main
44s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#23) BoJ Server Build Trigger #54: Commit 72cd992 pushed by hyperpolymath
13h 41m 34s main
main
13h 41m 34s