Closed pradovic closed 3 years ago
@koivunej Thanks for checking! I checked cargo audit
and cargo clippy
ones as well, and they appear to be correct.
Oki, I am thinking we should just merge this ahead, or have the 24h grace period as usual starting from now. I am for waiting, as there seems to be no rush.
@emschwartz could you relax the merging requirements as the circleci is now defunct? Please see #669 for the next steps.
An alternative to getting this in would be to make disable other than the clippy for example in circleci for now and go with a lighter, fix the build by migrating to github actions in the next PR.
I have included a working circleCI changes, and re-enabled the clippy and audit checks. Can I merge this one without 24h warning, so we can unblock other PRs?
Yeah lets go ahead and merge, the 24h grace period already passed!
cargo clippy
andcargo audit
have some new warnings since the new version. This is an attempt to simply fix those.