3 files changed, 0 insertions, 40 deletions
diff --git a/panic-semihosting/ci/after-success.sh b/panic-semihosting/ci/after-success.sh
deleted file mode 100644
index 4377267..0000000
--- a/panic-semihosting/ci/after-success.sh
+++ /dev/null
@@ -1,20 +0,0 @@
-set -euxo pipefail
-
-main() {
-    cargo doc
-
-    mkdir ghp-import
-
-    curl -Ls https://github.com/davisp/ghp-import/archive/master.tar.gz |
-        tar --strip-components 1 -C ghp-import -xz
-
-    ./ghp-import/ghp_import.py target/doc
-
-    set +x
-    git push -fq https://$GH_TOKEN@github.com/$TRAVIS_REPO_SLUG.git gh-pages && echo OK
-}
-
-# only publish on successful merges to master
-if [ $TRAVIS_BRANCH = master ] && [ $TRAVIS_PULL_REQUEST = false ] && [ $TARGET = x86_64-unknown-linux-gnu ]; then
-    main
-fi
diff --git a/panic-semihosting/ci/install.sh b/panic-semihosting/ci/install.sh
deleted file mode 100644
index 3c41921..0000000
--- a/panic-semihosting/ci/install.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-set -euxo pipefail
-
-main() {
-    if [ $TARGET != x86_64-unknown-linux-gnu ]; then
-        rustup target add $TARGET
-    fi
-}
-
-main
diff --git a/panic-semihosting/ci/script.sh b/panic-semihosting/ci/script.sh
deleted file mode 100644
index eb1a313..0000000
--- a/panic-semihosting/ci/script.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-set -euxo pipefail
-
-main() {
-    cargo check --target $TARGET
-
-    if [ $TRAVIS_RUST_VERSION = nightly ]; then
-        cargo check --target $TARGET --features inline-asm
-    fi
-}
-
-main