Skip to content

Actions: hyperpolymath/a2mliser

Actions

ABI-FFI Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
abi-ffi-gate.yml
21 workflow runs
21 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): grant secret-scanner reusable its requested job permissions … ABI-FFI Gate #21: Commit e185099 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI-FFI Gate ABI-FFI Gate #20: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#43) ABI-FFI Gate #19: Commit 9e7ae73 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) (#42) ABI-FFI Gate #17: Commit d266710 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 c2bdb0b 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 (#40) ABI-FFI Gate #12: Commit 6ebff5a 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 2127e18 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: attestation determinism, idempotence + issue→verify roun… ABI-FFI Gate #8: Commit 8b97dda pushed by hyperpolymath
25s main
main
25s
ABI Layer 3: attestation determinism, idempotence + issue→verify round-trip ABI-FFI Gate #7: Pull request #38 synchronize by hyperpolymath
29s claude/new-session-znxgm7
claude/new-session-znxgm7
29s
ABI Layer 2: prove attestation binding soundness (tamper-evidence) — … ABI-FFI Gate #6: Commit 8af3b8c pushed by hyperpolymath
22s main
main
22s
ABI Layer 2: prove attestation binding soundness (tamper-evidence) — flagship Idris2 proof ABI-FFI Gate #5: Pull request #37 opened by hyperpolymath
22s claude/new-session-znxgm7
claude/new-session-znxgm7
22s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#36) ABI-FFI Gate #4: Commit ccdc0d4 pushed by hyperpolymath
30s main
main
30s
ci: refresh standards reusable pins to current HEAD (d7c2271) ABI-FFI Gate #3: Pull request #36 opened by hyperpolymath
20s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
20s
ci: add ABI↔FFI conformance gate (#35) ABI-FFI Gate #2: Commit de24586 pushed by hyperpolymath
24s main
main
24s
ci: add ABI↔FFI conformance gate ABI-FFI Gate #1: Pull request #35 opened by hyperpolymath
21s claude/new-session-1fphit
claude/new-session-1fphit
21s