Skip to content

Actions: hyperpolymath/futharkiser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
boj-build.yml
79 workflow runs
79 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 #79: Commit 4445431 pushed by hyperpolymath
3h 5m 49s main
main
3h 5m 49s
security: re-pin secret scanner onto the real gitleaks gate (#48) BoJ Server Build Trigger #78: Commit 86343ce pushed by hyperpolymath
8m 39s main
main
8m 39s
ci: Secret Scanner caller must grant the reusable's job permissions (… BoJ Server Build Trigger #77: Commit bc86f5e pushed by hyperpolymath
29m 5s main
main
29m 5s
fix(ci): clear OSSF Scorecard startup_failure (#46) BoJ Server Build Trigger #76: Commit 1b8bff1 pushed by hyperpolymath
51m 44s main
main
51m 44s
fix(clade): correct identity uuid (deterministic v5) (#45) BoJ Server Build Trigger #75: Commit b6663e2 pushed by hyperpolymath
2m 20s main
main
2m 20s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#44) BoJ Server Build Trigger #74: Commit 017b6cc pushed by hyperpolymath
11s main
main
11s
ABI Layer 5: end-to-end soundness capstone certificate (#43) BoJ Server Build Trigger #73: Commit bf39d4b pushed by hyperpolymath
11s main
main
11s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… BoJ Server Build Trigger #72: Commit c7d5d14 pushed by hyperpolymath
7s main
main
7s
ABI Layer 3: cross-SOAC map/zipWith fusion law (#41) BoJ Server Build Trigger #71: Commit 5416e5e pushed by hyperpolymath
52s main
main
52s
Add Semantics module: prove Futhark map-fusion law (ABI Layer 2) (#40) BoJ Server Build Trigger #70: Commit 88732af pushed by hyperpolymath
7s main
main
7s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#39) BoJ Server Build Trigger #69: Commit 3fa6ff2 pushed by hyperpolymath
55m 11s main
main
55m 11s
P1: fix Zig FFI to build and match the Idris2 ABI (#38) BoJ Server Build Trigger #68: Commit 659af4a pushed by hyperpolymath
1m 14s main
main
1m 14s
Auto-install pinned Zig toolchain in setup + devcontainer (#37) BoJ Server Build Trigger #67: Commit 75388ef pushed by hyperpolymath
4m 40s main
main
4m 40s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… BoJ Server Build Trigger #66: Commit d64b5fc pushed by hyperpolymath
2m 38s main
main
2m 38s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#35) BoJ Server Build Trigger #65: Commit 561c574 pushed by hyperpolymath
2m 34s main
main
2m 34s
docs(readme): convert README.adoc -> Markdown README.md (#34) BoJ Server Build Trigger #64: Commit 12e1e50 pushed by hyperpolymath
49m 49s main
main
49m 49s
chore(clade): backfill [status] lifecycle block (default active) (#32) BoJ Server Build Trigger #63: Commit 4a920c8 pushed by hyperpolymath
17h 42m 51s main
main
17h 42m 51s
chore(ci): add dormant push-email notification workflow (#33) BoJ Server Build Trigger #62: Commit c466893 pushed by hyperpolymath
17h 15m 30s main
main
17h 15m 30s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#31) BoJ Server Build Trigger #61: Commit 2c11b27 pushed by hyperpolymath
9h 56m 7s main
main
9h 56m 7s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#30) BoJ Server Build Trigger #60: Commit 6e94009 pushed by hyperpolymath
1h 41m 16s main
main
1h 41m 16s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#29) BoJ Server Build Trigger #59: Commit ec6218f pushed by hyperpolymath
47m 42s main
main
47m 42s
chore: retire local issue/discussion templates -> inherit org .github… BoJ Server Build Trigger #58: Commit d886811 pushed by hyperpolymath
54m 2s main
main
54m 2s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… BoJ Server Build Trigger #57: Commit d3abde0 pushed by hyperpolymath
26m 20s main
main
26m 20s
Base camp: RSR Mustfile + green CI + CHANGELOG de-dup (#28) BoJ Server Build Trigger #56: Commit be1f317 pushed by hyperpolymath
1m 54s main
main
1m 54s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … BoJ Server Build Trigger #55: Commit c5b58ef pushed by hyperpolymath
9s main
main
9s