Skip to content
ABI Seam Verification

proof(L2): complete L2-modality migration of L1 preservation (Stage A… #17

Sign in to view logs

proof(L2): complete L2-modality migration of L1 preservation (Stage A…

proof(L2): complete L2-modality migration of L1 preservation (Stage A… #17

Triggered via push June 15, 2026 15:40
@hyperpolymathhyperpolymath
pushed 86f6e1b
main
Status Failure
Total duration 19s
Artifacts –

abi-verify.yml

on: push
Idris2 ABI seam (ephapax-abi.ipkg)
14s
Idris2 ABI seam (ephapax-abi.ipkg)
Fit to window
Zoom out
Zoom in

Annotations

1 error
Idris2 ABI seam (ephapax-abi.ipkg)
Process completed with exit code 1.