chore(bors): comments clippy out

There is currently an issue with clippy that stops us from merging PRs.
https://github.com/rust-lang/rust-clippy/issues/8662#issuecomment-1093899755

We can't use clippy in the CI while that's not merged
This commit is contained in:
Tamo 2022-04-11 13:19:00 +02:00
parent 013fe4cbc9
commit 348345f555
No known key found for this signature in database
GPG Key ID: 20CD8020AFA88D69

View File

@ -2,7 +2,7 @@ status = [
'Tests on ubuntu-18.04', 'Tests on ubuntu-18.04',
'Tests on macos-latest', 'Tests on macos-latest',
'Tests on windows-latest', 'Tests on windows-latest',
'Run Clippy', # 'Run Clippy',
'Run Rustfmt', 'Run Rustfmt',
'Run tests in debug', 'Run tests in debug',
] ]