Skip to content

Actions: hyperpolymath/affinescriptiser

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
60 workflow runs
60 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 #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
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… GitHub Pages #46: Commit 412ae57 pushed by hyperpolymath
25m 31s main
main
25m 31s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#32) GitHub Pages #45: Commit 2a34624 pushed by hyperpolymath
28m 17s main
main
28m 17s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… GitHub Pages #44: Commit d2d08ea pushed by hyperpolymath
46m 2s main
main
46m 2s
chore(clade): backfill [status] lifecycle block (#29) GitHub Pages #43: Commit a6ffd68 pushed by hyperpolymath
1d 0h 8m 5s main
main
1d 0h 8m 5s
chore(ci): add dormant push-email notification workflow (#30) GitHub Pages #42: Commit a714845 pushed by hyperpolymath
21m 40s main
main
21m 40s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … GitHub Pages #41: Commit 24600a6 pushed by hyperpolymath
9h 10m 15s main
main
9h 10m 15s
chore(ci): bump standards reusable workflow pins (#27) GitHub Pages #40: Commit fdb01c1 pushed by hyperpolymath
33m 34s main
main
33m 34s
chore(nix->guix): remove flake.nix (Guix-only) (#26) GitHub Pages #39: Commit d12af52 pushed by hyperpolymath
1h 17m 36s main
main
1h 17m 36s
chore: retire local issue/discussion templates -> inherit org .github… GitHub Pages #38: Commit 6b0b2ab pushed by hyperpolymath
1h 2m 49s main
main
1h 2m 49s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… GitHub Pages #37: Commit 65a859b pushed by hyperpolymath
39m 49s main
main
39m 49s
docs: de-dup README (keep .adoc, port sponsor badge) (#25) GitHub Pages #36: Commit c6b6551 pushed by hyperpolymath
22m 41s main
main
22m 41s