Skip to content

Actions: hyperpolymath/tlaiser

Actions

GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
casket-pages.yml
62 workflow runs
62 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 #62: Commit ecec930 pushed by hyperpolymath
2h 43m 4s main
main
2h 43m 4s
security: re-pin secret scanner onto the real gitleaks gate (#45) GitHub Pages #61: Commit 01392f4 pushed by hyperpolymath
29m 35s main
main
29m 35s
fix(ci): clear OSSF Scorecard startup_failure (#44) GitHub Pages #60: Commit d1036b9 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#43) GitHub Pages #59: Commit f83af4f pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… GitHub Pages #58: Commit 6158143 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#41) GitHub Pages #57: Commit 721550a pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… GitHub Pages #56: Commit 9efc926 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: compositionality of inductive invariants (conjunction is… GitHub Pages #55: Commit b0cd266 pushed by hyperpolymath
24m 41s main
main
24m 41s
abi: prove inductive-invariant soundness (TLA+ INV1) in Tlaiser.ABI.S… GitHub Pages #54: Commit 8f54595 pushed by hyperpolymath
24m 31s main
main
24m 31s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#37) GitHub Pages #53: Commit d8da9f8 pushed by hyperpolymath
2h 41m 36s main
main
2h 41m 36s
ci: add ABI↔FFI conformance gate (#36) GitHub Pages #52: Commit 4d6a89b pushed by hyperpolymath
24m 28s main
main
24m 28s
Auto-install pinned Zig toolchain in setup + devcontainer (#35) GitHub Pages #51: Commit 3394d2c pushed by hyperpolymath
31m 54s main
main
31m 54s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… GitHub Pages #50: Commit 6fd121b pushed by hyperpolymath
26m 12s main
main
26m 12s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#33) GitHub Pages #49: Commit f624126 pushed by hyperpolymath
24m 19s main
main
24m 19s
chore(ci): add dormant push-email notification workflow (#32) GitHub Pages #48: Commit bd0ed63 pushed by hyperpolymath
22h 15m 32s main
main
22h 15m 32s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#31) GitHub Pages #47: Commit 4aacd8e pushed by hyperpolymath
1h 19m 55s main
main
1h 19m 55s
chore(clade): backfill [status] lifecycle block (default active) (#30) GitHub Pages #46: Commit f4c515e pushed by hyperpolymath
45m 2s main
main
45m 2s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#29) GitHub Pages #45: Commit 418d53f pushed by hyperpolymath
7h 37m 4s main
main
7h 37m 4s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#28) GitHub Pages #44: Commit 76f4ac6 pushed by hyperpolymath
58m 31s main
main
58m 31s
chore: retire local issue/discussion templates -> inherit org .github… GitHub Pages #43: Commit d85bef4 pushed by hyperpolymath
1h 22m 29s main
main
1h 22m 29s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… GitHub Pages #42: Commit f035b9f pushed by hyperpolymath
45m 58s main
main
45m 58s
Base camp: RSR Mustfile + green CI + CHANGELOG de-dup (#27) GitHub Pages #41: Commit 6391f81 pushed by hyperpolymath
22m 15s main
main
22m 15s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … GitHub Pages #40: Commit 5571167 pushed by hyperpolymath
25m 6s main
main
25m 6s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#25) GitHub Pages #39: Commit cb85f68 pushed by hyperpolymath
15h 0m 9s main
main
15h 0m 9s
Chore/hypatia scan reusable wrapper (#24) GitHub Pages #38: Commit 22895c9 pushed by hyperpolymath
46m 3s main
main
46m 3s