Skip to content
Snippets Groups Projects

community/idris2: self host again after 0.7.0 upgrade

Canceled
Sören Tempel created pipeline for commit fc130966
, finished
Related merge request !58825 to merge idris2-self-host-0.7.0
merge request
9 jobs 10 minutes 1 second, queued for 0 seconds