Fix and modernize CI #200
Job | Run time |
---|---|
15s | |
2m 38s | |
13s | |
3m 31s | |
2m 18s | |
25s | |
34s | |
12s | |
1m 32s | |
5m 4s | |
37s | |
35s | |
2m 52s | |
2m 53s | |
57s | |
59s | |
25m 35s |
Job | Run time |
---|---|
15s | |
2m 38s | |
13s | |
3m 31s | |
2m 18s | |
25s | |
34s | |
12s | |
1m 32s | |
5m 4s | |
37s | |
35s | |
2m 52s | |
2m 53s | |
57s | |
59s | |
25m 35s |