Merge #280

bors[bot] · jonas-schievink · web-flow · commit fd6a9dbdab0a · 2020-10-27T00:15:45.000Z
280: Gate Bors on Clippy r=adamgreig a=jonas-schievink



Co-authored-by: Jonas Schievink &lt;jonasschievink@gmail.com&gt;
diff --git a/.github/bors.toml b/.github/bors.toml
@@ -5,4 +5,5 @@ status = [
   "ci-linux (stable)",
   "ci-linux (1.38.0)",
   "rustfmt",
+  "clippy",
 ]
