Merge #81

81: remove unused ci scripts r=Disasm a=almindor



Co-authored-by: Ales Katona <ales@katona.me>

ci/install.sh

@@ -1,18 +0,0 @@
-#!/usr/bin/env bash
-
-set -euxo pipefail
-
-if [ -n "${TARGET:-}" ]; then
-    rustup target add $TARGET
-fi
-
-if [ -n "${CHECK_BLOBS:-}" ]; then
-    if [ ! -d gcc/bin ]; then
-        mkdir -p gcc
-        curl -L https://static.dev.sifive.com/dev-tools/riscv64-unknown-elf-gcc-8.1.0-2018.12.0-x86_64-linux-ubuntu14.tar.gz | tar --strip-components=1 -C gcc -xz
-    fi
-fi
-
-if [ -n "${CHECK_RUSTFMT:-}" ]; then
-    rustup component add rustfmt
-fi

ci/script.sh

@@ -1,20 +0,0 @@
-#!/usr/bin/env bash
-
-set -euxo pipefail
-
-if [ -n "${TARGET:-}" ]; then
-    cargo check --target $TARGET
-
-    if [ $TRAVIS_RUST_VERSION = nightly ]; then
-        cargo check --target $TARGET --features inline-asm
-    fi
-fi
-
-if [ -n "${CHECK_BLOBS:-}" ]; then
-    PATH="$PATH:$PWD/gcc/bin"
-    ./check-blobs.sh
-fi
-
-if [ -n "${CHECK_RUSTFMT:-}" ]; then
-    cargo fmt -- --check
-fi