Idris2 on Ubuntu

Merge pull request #621 from keram/issue-620 #243

Sign in to view logs

Re-run triggered August 3, 2023 12:18

jfdm

main

Status Success

Total duration 2m 13s

Artifacts –

idris2.yml

on: push

Matrix: build