ReScript/Deno CI

proof(idris2/abi): port to Idris2 0.8.0 syntax; add ipkg for verifiab… #128

Sign in to view logs

Re-run triggered May 25, 2026 15:22

claude/upbeat-mendel-lBO9G

Status Failure

Total duration 13s

Artifacts –

rescript-deno-ci.yml

on: push

Annotations

1 error

Process completed with exit code 1.