Skip to content

Actions: hyperpolymath/affinescriptiser

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
71 workflow runs
71 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(guix): quality pass - fix stub/invalid names (#139) (#58) GitHub Pages #71: Commit 2493379 pushed by hyperpolymath
3h 31m 37s main
main
3h 31m 37s
chore(nix->guix): delete Nix estate-wide (#138) (#59) GitHub Pages #70: Commit 4785013 pushed by hyperpolymath
3h 45m 34s main
main
3h 45m 34s
chore(deps): bump the actions group with 2 updates (#57) GitHub Pages #69: Commit 0449e2a pushed by hyperpolymath
2m 55s main
main
2m 55s
chore(deps): bump dawidd6/action-send-mail from 8de3c312702ac7a63fc40… GitHub Pages #68: Commit 4866aa2 pushed by hyperpolymath
2m 37s main
main
2m 37s
chore(deps): bump the actions group with 4 updates (#55) GitHub Pages #67: Commit 735ce9d pushed by hyperpolymath
2m 57s main
main
2m 57s
chore(ci): make Scorecard periodic, not per-push (#54) GitHub Pages #66: Commit 6bbb687 pushed by hyperpolymath
9h 48m 21s main
main
9h 48m 21s
chore(deps): bump the actions group with 13 updates (#52) GitHub Pages #65: Commit be89138 pushed by hyperpolymath
24m 17s main
main
24m 17s
fix(codeowners): substitute the un-instantiated {{OWNER}} placeholder… GitHub Pages #64: Commit 6ed79bc pushed by hyperpolymath
12m 47s main
main
12m 47s
ci: vendor validation scripts and remove remote action pins (#50) GitHub Pages #63: Commit 3aac76a pushed by hyperpolymath
22m 35s main
main
22m 35s
fix(ci): re-point validate-action references at the ecosystem repos (… GitHub Pages #62: Commit 7d2e558 pushed by hyperpolymath
19m 17s main
main
19m 17s
fix(ci): repair dogfood-gate.yml — the workflow has never run (#48) GitHub Pages #61: Commit fa37e19 pushed by hyperpolymath
2m 6s main
main
2m 6s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu… GitHub Pages #60: Commit ca1b56a pushed by hyperpolymath
3h 18m 47s main
main
3h 18m 47s
security: re-pin secret scanner onto the real gitleaks gate (#46) GitHub Pages #59: Commit 12b305b pushed by hyperpolymath
9s main
main
9s
ci: Secret Scanner caller must grant the reusable's job permissions (… GitHub Pages #58: Commit 31d70df pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#44) GitHub Pages #57: Commit 1cf7d9d pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#43) GitHub Pages #56: Commit a95cc52 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: fmt under stable 1.96 to make rust-ci green (follow-up) (#42) GitHub Pages #55: Commit 3c05860 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… GitHub Pages #54: Commit 65adbce pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#40) GitHub Pages #53: Commit e687c88 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… GitHub Pages #52: Commit 5b37667 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: affine composition law over disjoint variable sets (#38) GitHub Pages #51: Commit befb22e pushed by hyperpolymath
24m 57s main
main
24m 57s
ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 … GitHub Pages #50: Commit bd08c30 pushed by hyperpolymath
24m 46s main
main
24m 46s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#36) GitHub Pages #49: Commit cc37b35 pushed by hyperpolymath
24m 31s main
main
24m 31s
ci: add ABI↔FFI conformance gate (#35) GitHub Pages #48: Commit 6532bc9 pushed by hyperpolymath
24m 33s main
main
24m 33s
Auto-install pinned Zig toolchain in setup + devcontainer (#34) GitHub Pages #47: Commit 703fd16 pushed by hyperpolymath
27m 25s main
main
27m 25s