Update clippy
This commit is contained in:
parent
b2df63b393
commit
84f1fc951d
3 changed files with 9 additions and 2 deletions
|
|
@ -1 +1 @@
|
|||
Subproject commit 281bd790de7b992831a1ff8a589c0fc38c842c95
|
||||
Subproject commit f76225e3887170743403af9204887918b5db5a80
|
||||
|
|
@ -26,7 +26,7 @@
|
|||
miri = "Broken"
|
||||
|
||||
# ping @Manishearth @llogiq @mcarton @oli-obk
|
||||
clippy = "Broken"
|
||||
clippy = "Compiling"
|
||||
|
||||
# ping @nrc
|
||||
rls = "Broken"
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue