Fix missing file renames in Makefile due to changes in commit ae8de6d… #858
Job | Run time |
---|---|
12m 44s | |
21m 59s | |
30m 20s | |
28m 23s | |
29m 38s | |
32m 18s | |
15m 0s | |
14m 49s | |
18m 25s | |
10m 1s | |
10m 53s | |
3h 44m 30s |
Job | Run time |
---|---|
12m 44s | |
21m 59s | |
30m 20s | |
28m 23s | |
29m 38s | |
32m 18s | |
15m 0s | |
14m 49s | |
18m 25s | |
10m 1s | |
10m 53s | |
3h 44m 30s |