Skip to content

Actions: hyperpolymath/tlaiser

Actions

ABI-FFI Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
abi-ffi-gate.yml
23 workflow runs
23 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… ABI-FFI Gate #23: Commit ecec930 pushed by hyperpolymath
2h 45m 50s main
main
2h 45m 50s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump ABI-FFI Gate #22: Pull request #46 opened by hyperpolymath
1h 39m 47s fix/governance-gate-sweep
fix/governance-gate-sweep
1h 39m 47s
security: re-pin secret scanner onto the real gitleaks gate (#45) ABI-FFI Gate #21: Commit 01392f4 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI-FFI Gate ABI-FFI Gate #20: opened by hyperpolymath
Startup failure security/real-secret-gate
security/real-secret-gate
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#44) ABI-FFI Gate #19: Commit d1036b9 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI-FFI Gate ABI-FFI Gate #18: opened by hyperpolymath
Startup failure fix/scorecard-caller-startup
fix/scorecard-caller-startup
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#43) ABI-FFI Gate #17: Commit f83af4f pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI-FFI Gate ABI-FFI Gate #16: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… ABI-FFI Gate #15: Commit 6158143 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI-FFI Gate ABI-FFI Gate #14: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI-FFI Gate ABI-FFI Gate #13: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#41) ABI-FFI Gate #12: Commit 721550a pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI-FFI Gate ABI-FFI Gate #11: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… ABI-FFI Gate #10: Commit 9efc926 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI-FFI Gate ABI-FFI Gate #9: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI Layer 3: compositionality of inductive invariants (conjunction is… ABI-FFI Gate #8: Commit b0cd266 pushed by hyperpolymath
21s main
main
21s
ABI Layer 3: compositionality of inductive invariants (conjunction is inductive) ABI-FFI Gate #7: Pull request #39 synchronize by hyperpolymath
21s claude/new-session-znxgm7
claude/new-session-znxgm7
21s
abi: prove inductive-invariant soundness (TLA+ INV1) in Tlaiser.ABI.S… ABI-FFI Gate #6: Commit 8f54595 pushed by hyperpolymath
3m 22s main
main
3m 22s
ABI Layer 2: prove inductive-invariant safety soundness — flagship Idris2 proof ABI-FFI Gate #5: Pull request #38 opened by hyperpolymath
4m 56s claude/new-session-znxgm7
claude/new-session-znxgm7
4m 56s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#37) ABI-FFI Gate #4: Commit d8da9f8 pushed by hyperpolymath
2h 23m 39s main
main
2h 23m 39s
ci: refresh standards reusable pins to current HEAD (d7c2271) ABI-FFI Gate #3: Pull request #37 opened by hyperpolymath
2h 19m 22s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
2h 19m 22s
ci: add ABI↔FFI conformance gate (#36) ABI-FFI Gate #2: Commit 4d6a89b pushed by hyperpolymath
27s main
main
27s
ci: add ABI↔FFI conformance gate ABI-FFI Gate #1: Pull request #36 opened by hyperpolymath
39s claude/new-session-1fphit
claude/new-session-1fphit
39s