Skip to content

Actions: hyperpolymath/halideiser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
76 workflow runs
76 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 #76: Commit ab6116e pushed by hyperpolymath
3h 5m 53s main
main
3h 5m 53s
security: re-pin secret scanner onto the real gitleaks gate (#44) BoJ Server Build Trigger #75: Commit ec8ee09 pushed by hyperpolymath
9m 5s main
main
9m 5s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #74: Commit 13d0e80 pushed by hyperpolymath
22m 32s main
main
22m 32s
fix(ci): clear OSSF Scorecard startup_failure (#42) BoJ Server Build Trigger #73: Commit c763d82 pushed by hyperpolymath
52m 13s main
main
52m 13s
fix(clade): correct identity uuid (deterministic v5) (#41) BoJ Server Build Trigger #72: Commit 312ce8f pushed by hyperpolymath
2m 51s main
main
2m 51s
ci: make CI genuinely green — rust-ci toolchain pin (#40) BoJ Server Build Trigger #71: Commit 2d8a1cf pushed by hyperpolymath
15s main
main
15s
ABI Layer 5: end-to-end soundness capstone certificate (#39) BoJ Server Build Trigger #70: Commit 1c0b550 pushed by hyperpolymath
9s main
main
9s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #69: Commit 0088171 pushed by hyperpolymath
10s main
main
10s
ABI Layer 3: schedule equivalence is an equivalence relation (reflexi… BoJ Server Build Trigger #68: Commit 8544be8 pushed by hyperpolymath
1m 59s main
main
1m 59s
feat(abi): prove schedule equivalence for loop split (Layer 2) (#36) BoJ Server Build Trigger #67: Commit 7e3f5ee pushed by hyperpolymath
9s main
main
9s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#35) BoJ Server Build Trigger #66: Commit e190e0f pushed by hyperpolymath
1h 1m 48s main
main
1h 1m 48s
P1: fix Zig FFI to compile under Zig 0.14.0 (#34) BoJ Server Build Trigger #65: Commit 7aa69f9 pushed by hyperpolymath
8s main
main
8s
Auto-install pinned Zig toolchain in setup + devcontainer (#33) BoJ Server Build Trigger #64: Commit 204189d pushed by hyperpolymath
4m 13s main
main
4m 13s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… BoJ Server Build Trigger #63: Commit 695cc51 pushed by hyperpolymath
2m 6s main
main
2m 6s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#31) BoJ Server Build Trigger #62: Commit 113125a pushed by hyperpolymath
1m 55s main
main
1m 55s
docs(readme): convert README.adoc -> Markdown README.md (#30) BoJ Server Build Trigger #61: Commit cca34a9 pushed by hyperpolymath
50m 18s main
main
50m 18s
chore(clade): backfill [status] lifecycle block (default active) (#28) BoJ Server Build Trigger #60: Commit aa4f223 pushed by hyperpolymath
18h 17m 8s main
main
18h 17m 8s
chore(ci): add dormant push-email notification workflow (#29) BoJ Server Build Trigger #59: Commit f02ffed pushed by hyperpolymath
17h 41m 49s main
main
17h 41m 49s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#27) BoJ Server Build Trigger #58: Commit 96b7244 pushed by hyperpolymath
10h 18m 13s main
main
10h 18m 13s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#26) BoJ Server Build Trigger #57: Commit 5303035 pushed by hyperpolymath
1h 56m 7s main
main
1h 56m 7s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#25) BoJ Server Build Trigger #56: Commit 67e1070 pushed by hyperpolymath
37m 35s main
main
37m 35s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #55: Commit c7b6b2e pushed by hyperpolymath
56m 20s main
main
56m 20s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… BoJ Server Build Trigger #54: Commit 3fe5687 pushed by hyperpolymath
15m 22s main
main
15m 22s
Base camp: RSR Mustfile + green CI (#24) BoJ Server Build Trigger #53: Commit 188bc27 pushed by hyperpolymath
1m 29s main
main
1m 29s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#23) BoJ Server Build Trigger #52: Commit e62abda pushed by hyperpolymath
14h 28m 48s main
main
14h 28m 48s