chore: clippy happy (#195) #739
Job | Run time |
---|---|
42s | |
1m 44s | |
1m 40s | |
3m 53s | |
20s | |
1m 23s | |
2m 37s | |
1m 9s | |
1m 17s | |
2m 16s | |
56s | |
3m 29s | |
6m 54s | |
2m 44s | |
31m 4s |
Job | Run time |
---|---|
42s | |
1m 44s | |
1m 40s | |
3m 53s | |
20s | |
1m 23s | |
2m 37s | |
1m 9s | |
1m 17s | |
2m 16s | |
56s | |
3m 29s | |
6m 54s | |
2m 44s | |
31m 4s |