Repository navigation

Instant Sync

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

Sign in to view logs

Triggered via push March 30, 2026 09:10

main

Status Failure

Total duration 5m 45s

Artifacts –

instant-sync.yml

on: push

Annotations

1 error

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