Idris2 ABI Type-Check

refactor: migrate Markdown to AsciiDoc #270

Sign in to view logs

Triggered via pull request August 24, 2026 07:09

opened #366

refactor/md-to-adoc

Status Success

Total duration 21m 8s

Artifacts –

idris2-abi-ci.yml

on: pull_request

Type-check Idris2 ABI definitions