Skip to content

Actions: hyperpolymath/oblibeniser

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
55 workflow runs
55 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 #55: Commit c30a848 pushed by hyperpolymath
2h 59m 1s main
main
2h 59m 1s
security: re-pin secret scanner onto the real gitleaks gate (#39) GitHub Pages #54: Commit 2c76458 pushed by hyperpolymath
19m 25s main
main
19m 25s
ci: Secret Scanner caller must grant the reusable's job permissions (… GitHub Pages #53: Commit 1e7b0a1 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#37) GitHub Pages #52: Commit 5b767aa pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#36) GitHub Pages #51: Commit 10a7bd7 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin (#35) GitHub Pages #50: Commit 756a0b2 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#34) GitHub Pages #49: Commit 069f62c pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… GitHub Pages #48: Commit 7c5e848 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: reversible operations form a group (modulo denotational … GitHub Pages #47: Commit a9d2af7 pushed by hyperpolymath
27m 14s main
main
27m 14s
ABI Layer 2: prove operation reversibility (round-trip law) — flagshi… GitHub Pages #46: Commit e921fd6 pushed by hyperpolymath
25m 25s main
main
25m 25s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#30) GitHub Pages #45: Commit 2d43666 pushed by hyperpolymath
1h 58m 9s main
main
1h 58m 9s
P1: fix Zig FFI to build and match the Idris2 ABI (#29) GitHub Pages #44: Commit f42c879 pushed by hyperpolymath
24m 48s main
main
24m 48s
Auto-install pinned Zig toolchain in setup + devcontainer (#28) GitHub Pages #43: Commit 74d25e3 pushed by hyperpolymath
32m 38s main
main
32m 38s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… GitHub Pages #42: Commit a676ed9 pushed by hyperpolymath
24m 33s main
main
24m 33s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#26) GitHub Pages #41: Commit 42575df pushed by hyperpolymath
24m 23s main
main
24m 23s
chore(clade): backfill [status] lifecycle block (#24) GitHub Pages #40: Commit ee82745 pushed by hyperpolymath
21h 54m 25s main
main
21h 54m 25s
chore(ci): add dormant push-email notification workflow (#25) GitHub Pages #39: Commit 20f5c86 pushed by hyperpolymath
2m 33s main
main
2m 33s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … GitHub Pages #38: Commit 19bf3f4 pushed by hyperpolymath
59m 2s main
main
59m 2s
chore(ci): bump standards reusable workflow pins (#22) GitHub Pages #37: Commit 1d39837 pushed by hyperpolymath
4h 48m 32s main
main
4h 48m 32s
chore(nix->guix): remove flake.nix (Guix-only) (#21) GitHub Pages #36: Commit 6e9cb82 pushed by hyperpolymath
1h 21m 6s main
main
1h 21m 6s
chore: retire local issue/discussion templates -> inherit org .github… GitHub Pages #35: Commit 2a67a05 pushed by hyperpolymath
1h 7m 45s main
main
1h 7m 45s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… GitHub Pages #34: Commit 1da543a pushed by hyperpolymath
38m 39s main
main
38m 39s
Base camp: RSR Mustfile + green CI + CHANGELOG de-dup (#20) GitHub Pages #33: Commit 624faa6 pushed by hyperpolymath
23m 14s main
main
23m 14s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) (#19) GitHub Pages #32: Commit 5938965 pushed by hyperpolymath
15h 15m 29s main
main
15h 15m 29s
ci(hypatia-scan): repin reusable to merge-commit SHA (orphan-SHA fix)… GitHub Pages #31: Commit f6f0840 pushed by hyperpolymath
12h 42m 55s main
main
12h 42m 55s