Instant Sync

Remove template-only ABI files that falsely implied formal verification #12

Sign in to view logs

Triggered via push March 30, 2026 12:27

main

Status Failure

Total duration 14m 43s

Artifacts –

instant-sync.yml

on: push

Annotations

1 error

Bad credentials - https://docs.github.com/rest