Idris2 on Ubuntu

Reintroduce ipkg sourcedir regexp for Idris2 and further simplify related code. #307

Sign in to view logs

Triggered via pull request November 29, 2025 00:01

keram

synchronize #636

keram:ipkg-idris2-sourcedir-re-v2

Status Success

Total duration 1m 32s

Artifacts –

idris2.yml

on: pull_request

Matrix: build