Skip to content
Build and test

[ ci ] Switch to an appropriate pack collection when on bleeding edge #193

Sign in to view logs

[ ci ] Switch to an appropriate pack collection when on bleeding edge

[ ci ] Switch to an appropriate pack collection when on bleeding edge #193

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Acquire matrix of upstream modes
25s
Build and test `buzden/idris2-positive-nat`
50s
Build and test `buzden/idris2-positive-nat`
5m 40s
6m 55s