1 files changed, 0 insertions, 11 deletions
diff --git a/ci/install.sh b/ci/install.sh
deleted file mode 100644
index fb3e52d..0000000
--- a/ci/install.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-set -euxo pipefail
-
-main() {
-    case $TARGET in
-        thumbv*-none-eabi*)
-            rustup target add $TARGET
-            ;;
-    esac
-}
-
-main