Fix clippy::unnecessary_map_or warning #2830
Job | Run time |
---|---|
28s | |
18s | |
28s | |
19s | |
34s | |
34s | |
31s | |
43s | |
56s | |
56s | |
38s | |
1m 25s | |
13s | |
2m 6s | |
8s | |
2m 6s | |
54s | |
44s | |
1m 26s | |
30s | |
34s | |
1m 0s | |
2m 46s | |
1m 12s | |
1m 25s | |
22m 54s |
Job | Run time |
---|---|
28s | |
18s | |
28s | |
19s | |
34s | |
34s | |
31s | |
43s | |
56s | |
56s | |
38s | |
1m 25s | |
13s | |
2m 6s | |
8s | |
2m 6s | |
54s | |
44s | |
1m 26s | |
30s | |
34s | |
1m 0s | |
2m 46s | |
1m 12s | |
1m 25s | |
22m 54s |