fixes for case-insensitive file systems #16
Job | Run time |
---|---|
56s | |
33s | |
31s | |
31s | |
32s | |
31s | |
45s | |
53s | |
22s | |
45s | |
39s | |
7m 15s | |
59s | |
54s | |
54s | |
47s | |
58s | |
58s | |
10m 37s | |
30m 20s |
Job | Run time |
---|---|
56s | |
33s | |
31s | |
31s | |
32s | |
31s | |
45s | |
53s | |
22s | |
45s | |
39s | |
7m 15s | |
59s | |
54s | |
54s | |
47s | |
58s | |
58s | |
10m 37s | |
30m 20s |