Idris2 ABI Type-Check

refactor: eradicate TypeScript and NPM/Deno configs #269

Sign in to view logs

Triggered via pull request August 24, 2026 05:24

opened #364

refactor/eradicate-typescript

Status Success

Total duration 9m 50s

Artifacts –

idris2-abi-ci.yml

on: pull_request

Type-check Idris2 ABI definitions