Idris1 on Ubuntu

Add quotes around sourcedir value in generated .ipkg file #260

Sign in to view logs

Triggered via pull request January 7, 2024 18:54

keram

opened #623

keram:issue-622-idris-start-project-ipkg

Status Success

Total duration 20m 12s

Artifacts –

idris1.yml

on: pull_request

Matrix: build