Idris2 ABI Type-Check

refactor: semantic port to AffineScript #268

Sign in to view logs

Triggered via pull request August 24, 2026 04:54

opened #363

refactor/semantic-port-bulk

Status Success

Total duration 24s

Artifacts –

idris2-abi-ci.yml

on: pull_request

Type-check Idris2 ABI definitions