Correctly reject device files with multi-dot filename extensions. (#378) #1748
Job | Run time |
---|---|
1m 56s | |
2m 37s | |
2m 5s | |
2m 7s | |
2m 3s | |
44s | |
2m 0s | |
23s | |
42s | |
36s | |
2m 6s | |
1m 21s | |
38s | |
1m 6s | |
2m 17s | |
38s | |
37s | |
1s | |
1m 40s | |
39s | |
41s | |
2m 33s | |
29m 30s |
Job | Run time |
---|---|
1m 56s | |
2m 37s | |
2m 5s | |
2m 7s | |
2m 3s | |
44s | |
2m 0s | |
23s | |
42s | |
36s | |
2m 6s | |
1m 21s | |
38s | |
1m 6s | |
2m 17s | |
38s | |
37s | |
1s | |
1m 40s | |
39s | |
41s | |
2m 33s | |
29m 30s |