Skip to content

Actions: hyperpolymath/alloyiser

Actions

ABI-FFI Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
abi-ffi-gate.yml
15 workflow runs
15 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
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… ABI-FFI Gate #15: Commit 9437b92 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 (#46) ABI-FFI Gate #12: Commit 27590b6 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 764a7f8 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: multiplicity subsumption — one entails lone (#44) ABI-FFI Gate #8: Commit e23f89c pushed by hyperpolymath
30s main
main
30s
ABI Layer 3: multiplicity subsumption — one entails lone ABI-FFI Gate #7: Pull request #44 synchronize by hyperpolymath
27s claude/new-session-znxgm7
claude/new-session-znxgm7
27s
ABI Layer 2: prove Alloy one-multiplicity constraint — flagship Idr… ABI-FFI Gate #6: Commit da7c8ee pushed by hyperpolymath
25s main
main
25s
ABI Layer 2: prove Alloy one-multiplicity constraint — flagship Idris2 proof ABI-FFI Gate #5: Pull request #43 opened by hyperpolymath
23s claude/new-session-znxgm7
claude/new-session-znxgm7
23s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#42) ABI-FFI Gate #4: Commit 1f5a51d pushed by hyperpolymath
52s main
main
52s
ci: refresh standards reusable pins to current HEAD (d7c2271) ABI-FFI Gate #3: Pull request #42 opened by hyperpolymath
36s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
36s
ci: add ABI↔FFI conformance gate (#41) ABI-FFI Gate #2: Commit fa43c23 pushed by hyperpolymath
20s main
main
20s
ci: add ABI↔FFI conformance gate ABI-FFI Gate #1: Pull request #41 opened by hyperpolymath
22s claude/new-session-1fphit
claude/new-session-1fphit
22s