Resolve clippy::unnecessary_map_or warning (#2904) #2992
Job | Run time |
---|---|
39s | |
2m 38s | |
6m 3s | |
53s | |
39s | |
4m 26s | |
2m 29s | |
37s | |
3m 21s | |
23s | |
37s | |
6m 11s | |
13m 56s | |
6m 27s | |
3m 30s | |
26s | |
1m 8s | |
25s | |
17s | |
19s | |
15s | |
3m 28s | |
5m 34s | |
2m 28s | |
1h 7m 9s |
Job | Run time |
---|---|
39s | |
2m 38s | |
6m 3s | |
53s | |
39s | |
4m 26s | |
2m 29s | |
37s | |
3m 21s | |
23s | |
37s | |
6m 11s | |
13m 56s | |
6m 27s | |
3m 30s | |
26s | |
1m 8s | |
25s | |
17s | |
19s | |
15s | |
3m 28s | |
5m 34s | |
2m 28s | |
1h 7m 9s |