Some CI improvements: updated versions and better reporting #180
Job | Run time |
---|---|
16s | |
14s | |
20s | |
11s | |
33s | |
30s | |
13s | |
18s | |
21s | |
17s | |
22s | |
22s | |
16s | |
33s | |
35s | |
0s | |
0s | |
5m 21s |
Job | Run time |
---|---|
16s | |
14s | |
20s | |
11s | |
33s | |
30s | |
13s | |
18s | |
21s | |
17s | |
22s | |
22s | |
16s | |
33s | |
35s | |
0s | |
0s | |
5m 21s |