Instant Sync

feat(abi): bespoke Idris2 ABI definitions with partition/gather proofs #7

Sign in to view logs

Triggered via push March 21, 2026 07:45

main

Status Failure

Total duration 13s

Artifacts –

instant-sync.yml

on: push

Annotations

1 error

Parameter token or opts.auth is required