Fix clippy warning #588
Job | Run time |
---|---|
7s | |
22s | |
28s | |
20s | |
11s | |
22s | |
11s | |
22s | |
13s | |
11s | |
12s | |
10s | |
14s | |
21s | |
16s | |
15s | |
11s | |
41s | |
16s | |
43s | |
12s | |
46s | |
13s | |
45s | |
25s | |
40s | |
22s | |
48s | |
26s | |
45s | |
47s | |
12m 15s |
Job | Run time |
---|---|
7s | |
22s | |
28s | |
20s | |
11s | |
22s | |
11s | |
22s | |
13s | |
11s | |
12s | |
10s | |
14s | |
21s | |
16s | |
15s | |
11s | |
41s | |
16s | |
43s | |
12s | |
46s | |
13s | |
45s | |
25s | |
40s | |
22s | |
48s | |
26s | |
45s | |
47s | |
12m 15s |