Instant Sync

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

Sign in to view logs

Triggered via push March 30, 2026 09:10

main

Status Failure

Total duration 1m 13s

Artifacts –

instant-sync.yml

on: push

Annotations

1 error

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