Remove two unnecessary #[allow(clippy::needless_update)] #309
Job | Run time |
---|---|
46s | |
35s | |
29s | |
45s | |
53s | |
40s | |
29s | |
1m 37s | |
52s | |
1m 54s | |
40s | |
2m 25s | |
12s | |
12m 17s |
Job | Run time |
---|---|
46s | |
35s | |
29s | |
45s | |
53s | |
40s | |
29s | |
1m 37s | |
52s | |
1m 54s | |
40s | |
2m 25s | |
12s | |
12m 17s |