Filename extensions: Allow specifying wildcards #2968
Job | Run time |
---|---|
21m 24s | |
11m 22s | |
17m 33s | |
12m 20s | |
13m 11s | |
7m 43s | |
12m 0s | |
9m 46s | |
8m 40s | |
1h 53m 59s |
Job | Run time |
---|---|
21m 24s | |
11m 22s | |
17m 33s | |
12m 20s | |
13m 11s | |
7m 43s | |
12m 0s | |
9m 46s | |
8m 40s | |
1h 53m 59s |