diff options
Diffstat (limited to 'panic-semihosting/ci')
| -rw-r--r-- | panic-semihosting/ci/after-success.sh | 20 | ||||
| -rw-r--r-- | panic-semihosting/ci/install.sh | 9 | ||||
| -rw-r--r-- | panic-semihosting/ci/script.sh | 11 |
3 files changed, 40 insertions, 0 deletions
diff --git a/panic-semihosting/ci/after-success.sh b/panic-semihosting/ci/after-success.sh new file mode 100644 index 0000000..4377267 --- /dev/null +++ b/panic-semihosting/ci/after-success.sh @@ -0,0 +1,20 @@ +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 new file mode 100644 index 0000000..3c41921 --- /dev/null +++ b/panic-semihosting/ci/install.sh @@ -0,0 +1,9 @@ +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 new file mode 100644 index 0000000..eb1a313 --- /dev/null +++ b/panic-semihosting/ci/script.sh @@ -0,0 +1,11 @@ +set -euxo pipefail + +main() { + cargo check --target $TARGET + + if [ $TRAVIS_RUST_VERSION = nightly ]; then + cargo check --target $TARGET --features inline-asm + fi +} + +main |