[dwds] Delete unreachable default
clauses.
#3686
Job | Run time |
---|---|
23s | |
23s | |
2m 33s | |
2m 33s | |
35s | |
35s | |
44s | |
44s | |
35m 0s | |
35m 0s | |
2m 16s | |
2m 16s | |
41s | |
41s | |
29m 16s | |
29m 16s | |
34m 56s | |
34m 56s | |
2m 56s | |
2m 56s | |
10m 37s | |
10m 37s | |
33m 20s | |
33m 20s | |
46m 50s | |
46m 50s | |
29m 12s | |
29m 12s | |
2m 18s | |
2m 18s | |
40s | |
40s | |
2m 29s | |
2m 29s | |
4m 6s | |
4m 6s | |
38m 59s | |
38m 59s | |
41m 8s | |
41m 8s | |
10m 28s | |
10m 28s | |
31m 2s | |
31m 2s | |
1m 4s | |
1m 4s | |
12m 28s | |
11m 18s | |
3m 37s | |
3m 37s | |
7m 6s | |
7m 6s | |
36m 28s | |
36m 28s | |
38m 54s | |
38m 54s | |
33m 22s | |
33m 22s | |
40s | |
40s | |
11m 1s | |
11m 1s | |
3m 0s | |
3m 0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
16h 55m 8s |