Repository navigation

Instant Sync

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

Sign in to view logs

Triggered via push March 30, 2026 09:10

main

Status Failure

Total duration 11m 14s

Artifacts –

instant-sync.yml

on: push

Annotations

1 error

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