Skip to content

Actions: hyperpolymath/futharkiser

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
70 workflow runs
70 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(ci): make Scorecard periodic, not per-push (#56) GitHub Pages #70: Commit ec00c69 pushed by hyperpolymath
Queued main
main
Queued
chore(deps): bump the actions group with 13 updates (#54) GitHub Pages #69: Commit 8887434 pushed by hyperpolymath
2m 25s main
main
2m 25s
fix(codeowners): substitute the un-instantiated {{OWNER}} placeholder… GitHub Pages #68: Commit 67b5c38 pushed by hyperpolymath
37m 42s main
main
37m 42s
ci: vendor validation scripts and remove remote action pins (#52) GitHub Pages #67: Commit 26a7f51 pushed by hyperpolymath
56m 43s main
main
56m 43s
fix(ci): re-point validate-action references at the ecosystem repos (… GitHub Pages #66: Commit bf4e845 pushed by hyperpolymath
26m 21s main
main
26m 21s
fix(ci): repair dogfood-gate.yml — the workflow has never run (#50) GitHub Pages #65: Commit b6d792d pushed by hyperpolymath
37m 28s main
main
37m 28s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… GitHub Pages #64: Commit 4445431 pushed by hyperpolymath
3h 51m 34s main
main
3h 51m 34s
security: re-pin secret scanner onto the real gitleaks gate (#48) GitHub Pages #63: Commit 86343ce pushed by hyperpolymath
26m 19s main
main
26m 19s
ci: Secret Scanner caller must grant the reusable's job permissions (… GitHub Pages #62: Commit bc86f5e pushed by hyperpolymath
51m 54s main
main
51m 54s
fix(ci): clear OSSF Scorecard startup_failure (#46) GitHub Pages #61: Commit 1b8bff1 pushed by hyperpolymath
1h 12m 5s main
main
1h 12m 5s
fix(clade): correct identity uuid (deterministic v5) (#45) GitHub Pages #60: Commit b6663e2 pushed by hyperpolymath
23m 44s main
main
23m 44s
ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#44) GitHub Pages #59: Commit 017b6cc pushed by hyperpolymath
23m 47s main
main
23m 47s
ABI Layer 5: end-to-end soundness capstone certificate (#43) GitHub Pages #58: Commit bf39d4b pushed by hyperpolymath
24m 46s main
main
24m 46s
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… GitHub Pages #57: Commit c7d5d14 pushed by hyperpolymath
24m 55s main
main
24m 55s
ABI Layer 3: cross-SOAC map/zipWith fusion law (#41) GitHub Pages #56: Commit 5416e5e pushed by hyperpolymath
25m 18s main
main
25m 18s
Add Semantics module: prove Futhark map-fusion law (ABI Layer 2) (#40) GitHub Pages #55: Commit 88732af pushed by hyperpolymath
25m 12s main
main
25m 12s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#39) GitHub Pages #54: Commit 3fa6ff2 pushed by hyperpolymath
1h 19m 43s main
main
1h 19m 43s
P1: fix Zig FFI to build and match the Idris2 ABI (#38) GitHub Pages #53: Commit 659af4a pushed by hyperpolymath
25m 40s main
main
25m 40s
Auto-install pinned Zig toolchain in setup + devcontainer (#37) GitHub Pages #52: Commit 75388ef pushed by hyperpolymath
24m 10s main
main
24m 10s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… GitHub Pages #51: Commit d64b5fc pushed by hyperpolymath
26m 43s main
main
26m 43s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#35) GitHub Pages #50: Commit 561c574 pushed by hyperpolymath
26m 18s main
main
26m 18s
docs(readme): convert README.adoc -> Markdown README.md (#34) GitHub Pages #49: Commit 12e1e50 pushed by hyperpolymath
1h 14m 45s main
main
1h 14m 45s
chore(clade): backfill [status] lifecycle block (default active) (#32) GitHub Pages #48: Commit 4a920c8 pushed by hyperpolymath
1d 1h 36m 55s main
main
1d 1h 36m 55s
chore(ci): add dormant push-email notification workflow (#33) GitHub Pages #47: Commit c466893 pushed by hyperpolymath
6m 18s main
main
6m 18s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#31) GitHub Pages #46: Commit 2c11b27 pushed by hyperpolymath
18h 4m 24s main
main
18h 4m 24s