Move CI management from lampepfl/dotty-ci #29607
Job | Run time |
---|---|
37m 0s | |
0s | |
0s | |
44m 8s | |
1h 9m 24s | |
10m 23s | |
0s | |
1h 19m 39s | |
1h 13m 1s | |
18m 11s | |
0s | |
0s | |
0s | |
0s | |
0s | |
5h 31m 46s |
Job | Run time |
---|---|
37m 0s | |
0s | |
0s | |
44m 8s | |
1h 9m 24s | |
10m 23s | |
0s | |
1h 19m 39s | |
1h 13m 1s | |
18m 11s | |
0s | |
0s | |
0s | |
0s | |
0s | |
5h 31m 46s |