Instant Sync

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

Sign in to view logs

Triggered via push March 30, 2026 09:11

main

Status Failure

Total duration 13m 5s

Artifacts –

instant-sync.yml

on: push

Annotations

1 error

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