Idris1 on Ubuntu

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

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 2m 15s

Artifacts –

idris1.yml

on: pull_request

Matrix: build