[ admin ] Update ci-idris2-and-libs.yml #97
Job | Run time |
---|---|
5s | |
12m 5s | |
14m 15s | |
22m 12s | |
24m 55s | |
27m 3s | |
21m 34s | |
27m 6s | |
12m 49s | |
11m 14s | |
3m 30s | |
2m 34s | |
5m 11s | |
4m 30s | |
5m 7s | |
2s | |
4m 38s | |
0s | |
1s | |
3h 18m 51s |
Job | Run time |
---|---|
5s | |
12m 5s | |
14m 15s | |
22m 12s | |
24m 55s | |
27m 3s | |
21m 34s | |
27m 6s | |
12m 49s | |
11m 14s | |
3m 30s | |
2m 34s | |
5m 11s | |
4m 30s | |
5m 7s | |
2s | |
4m 38s | |
0s | |
1s | |
3h 18m 51s |