Idris2 on Ubuntu

A couple of improvements #265

Sign in to view logs

Re-run triggered April 23, 2025 20:18

jfdm

#639

ska80:fixes1

Status Success

Total duration 3m 9s

Artifacts –

idris2.yml

on: pull_request

Matrix: build