Try to squeeze more disk space out of the github runners #103
Job | Run time |
---|---|
15s | |
15s | |
23m 17s | |
23m 17s | |
4m 16s | |
4m 16s | |
39m 52s | |
39m 52s | |
27m 16s | |
28m 26s | |
2h 33m 54s | |
2h 8m 44s | |
7h 53m 40s |
Job | Run time |
---|---|
15s | |
15s | |
23m 17s | |
23m 17s | |
4m 16s | |
4m 16s | |
39m 52s | |
39m 52s | |
27m 16s | |
28m 26s | |
2h 33m 54s | |
2h 8m 44s | |
7h 53m 40s |