Skip to content

Actions: hyperpolymath/affinescriptiser

Actions

ABI-FFI Gate

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
abi-ffi-gate.yml
28 workflow runs
28 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 #28: Commit ca1b56a pushed by hyperpolymath
3h 20m 21s main
main
3h 20m 21s
fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump ABI-FFI Gate #27: Pull request #47 opened by hyperpolymath
1m 24s fix/governance-gate-sweep
fix/governance-gate-sweep
1m 24s
security: re-pin secret scanner onto the real gitleaks gate (#46) ABI-FFI Gate #26: Commit 12b305b pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI-FFI Gate ABI-FFI Gate #25: opened by hyperpolymath
Startup failure security/real-secret-gate
security/real-secret-gate
Startup failure
ci: Secret Scanner caller must grant the reusable's job permissions (… ABI-FFI Gate #24: Commit 31d70df pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI-FFI Gate ABI-FFI Gate #23: opened by hyperpolymath
Startup failure ci/secret-scanner-caller-perms
ci/secret-scanner-caller-perms
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#44) ABI-FFI Gate #22: Commit 1cf7d9d pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI-FFI Gate ABI-FFI Gate #21: 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 #20: Commit a95cc52 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI-FFI Gate ABI-FFI Gate #19: opened by hyperpolymath
Startup failure fix/clade-uuid
fix/clade-uuid
Startup failure
ci: fmt under stable 1.96 to make rust-ci green (follow-up) (#42) ABI-FFI Gate #18: Commit 3c05860 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI-FFI Gate ABI-FFI Gate #17: synchronize by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ABI-FFI Gate ABI-FFI Gate #16: opened by hyperpolymath
Startup failure claude/new-session-znxgm7
claude/new-session-znxgm7
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… ABI-FFI Gate #15: Commit 65adbce 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 e687c88 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 5b37667 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: affine composition law over disjoint variable sets (#38) ABI-FFI Gate #8: Commit befb22e pushed by hyperpolymath
27s main
main
27s
ABI Layer 3: affine composition law over disjoint variable sets ABI-FFI Gate #7: Pull request #38 synchronize by hyperpolymath
30s claude/new-session-znxgm7
claude/new-session-znxgm7
30s
ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 … ABI-FFI Gate #6: Commit bd08c30 pushed by hyperpolymath
26s main
main
26s
ABI Layer 2: prove affine usage (use-at-most-once) — 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 cc37b35 pushed by hyperpolymath
40s main
main
40s