diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2018-08-27 14:44:47 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2018-08-27 14:44:47 +0200 |
| commit | 2b6b513b8978ac63fd12ee7049c85fce1194a487 (patch) | |
| tree | 996e1bd8ba137192311f078f49f1deb963c0d0d5 /ci | |
| parent | 2ec5d59ee99c00315168ae89847c5e352f1aadf0 (diff) | |
publish docs on gh pages
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/after-success.sh | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/ci/after-success.sh b/ci/after-success.sh new file mode 100644 index 0000000..4377267 --- /dev/null +++ b/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 |