Skip to content

Actions: hyperpolymath/halideiser

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

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