Adding support for Idris2 #34
lucperkinsdeterminate.yml
on: pull_request
DeterminateCI
/
inventory
3m 32s
Matrix: DeterminateCI / build
DeterminateCI
/
success
3s
Annotations
3 warnings
|
DeterminateCI / inventory
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
DeterminateCI / build (x86_64-linux, ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
DeterminateCI / success
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|