Instant Sync

ci(abi): run Idris2 type-check in the pinned idris2-pack container (#58) #116

Sign in to view logs

Triggered via push July 2, 2026 15:27

main

Status Failure

Total duration 10s

Artifacts –

instant-sync.yml

on: push

Annotations

1 error

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