File: Allow selecting files with arbitrary extensions #3242
| Job | Run time |
|---|---|
| 53s | |
| 13m 1s | |
| 10m 52s | |
| 13m 57s | |
| 10m 59s | |
| 12m 53s | |
| 10m 46s | |
| 9m 29s | |
| 15m 4s | |
| 18m 2s | |
| 15m 11s | |
| 17m 58s | |
| 14m 46s | |
| 17m 41s | |
| 9m 11s | |
| 18m 28s | |
| 4m 18s | |
| 18m 23s | |
| 10m 46s | |
| 10m 20s | |
| 7m 57s | |
| 4h 20m 55s |
| Job | Run time |
|---|---|
| 53s | |
| 13m 1s | |
| 10m 52s | |
| 13m 57s | |
| 10m 59s | |
| 12m 53s | |
| 10m 46s | |
| 9m 29s | |
| 15m 4s | |
| 18m 2s | |
| 15m 11s | |
| 17m 58s | |
| 14m 46s | |
| 17m 41s | |
| 9m 11s | |
| 18m 28s | |
| 4m 18s | |
| 18m 23s | |
| 10m 46s | |
| 10m 20s | |
| 7m 57s | |
| 4h 20m 55s |