Skip to content

Actions: hyperpolymath/tlaiser

Actions

BoJ Server Build Trigger

Actions

Loading...
Loading

Show workflow options

Create status badge

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