Idris1 on Ubuntu

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

Sign in to view logs

Triggered via pull request November 29, 2025 00:11

keram

synchronize #636

keram:ipkg-idris2-sourcedir-re-v2

Status Success

Total duration 2m 10s

Artifacts –

idris1.yml

on: pull_request

Matrix: build