diff options
author | 2020-08-31 23:16:21 +0200 | |
---|---|---|
committer | 2020-10-13 21:30:44 +0200 | |
commit | 10b29d3a4fc43503c25fb2c7ffbeaad44c2fb103 (patch) | |
tree | ceb6fc008cfbcc430a4254464d0e3341c34796e1 /panic-semihosting/ci/after-success.sh | |
parent | f77d64a2d1505335e4a170d03a40993bb066fd02 (diff) | |
download | cortex-m-10b29d3a4fc43503c25fb2c7ffbeaad44c2fb103.tar.gz cortex-m-10b29d3a4fc43503c25fb2c7ffbeaad44c2fb103.tar.zst cortex-m-10b29d3a4fc43503c25fb2c7ffbeaad44c2fb103.zip |
Import semihosting crates as-is
Diffstat (limited to 'panic-semihosting/ci/after-success.sh')
-rw-r--r-- | panic-semihosting/ci/after-success.sh | 20 |
1 files changed, 20 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 |