CI: use GitHub output formats #48
Job | Run time |
---|---|
12s | |
1m 23s | |
1m 22s | |
48s | |
49s | |
1m 15s | |
3m 36s | |
1m 34s | |
2m 23s | |
2m 16s | |
1m 37s | |
1m 26s | |
2m 7s | |
5m 47s | |
2m 13s | |
2m 28s | |
2m 19s | |
2m 45s | |
1m 33s | |
2m 15s | |
8m 49s | |
2m 38s | |
40s | |
0s | |
52m 15s |
Job | Run time |
---|---|
12s | |
1m 23s | |
1m 22s | |
48s | |
49s | |
1m 15s | |
3m 36s | |
1m 34s | |
2m 23s | |
2m 16s | |
1m 37s | |
1m 26s | |
2m 7s | |
5m 47s | |
2m 13s | |
2m 28s | |
2m 19s | |
2m 45s | |
1m 33s | |
2m 15s | |
8m 49s | |
2m 38s | |
40s | |
0s | |
52m 15s |