diff --git a/check-clippy.sh b/check-clippy.sh
deleted file mode 100755
index 072069cb9b..0000000000
--- a/check-clippy.sh
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash
-set -euo pipefail
-
-# Usage: check-clippy.sh
-
-if cargo install --list | tee /dev/null | grep -q "^clippy v0"; then
-    exit 0
-else
-    exit 1
-fi