Idris2 on Ubuntu

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

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 8m 44s

Artifacts –

idris2.yml

on: pull_request

Matrix: build