summaryrefslogtreecommitdiffhomepage
path: root/ci
diff options
context:
space:
mode:
Diffstat (limited to 'ci')
-rwxr-xr-xci/check-clippy.sh9
1 files changed, 0 insertions, 9 deletions
diff --git a/ci/check-clippy.sh b/ci/check-clippy.sh
deleted file mode 100755
index e48adfc6b6..0000000000
--- a/ci/check-clippy.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/usr/bin/env bash
-
-set -eux
-
-export RUSTFLAGS="--deny warnings"
-
-# Check rust crates with clippy
-source env.sh
-time cargo clippy --locked --verbose