diff options
| author | Matt Ickstadt <mattico8@gmail.com> | 2018-08-02 19:10:11 -0500 |
|---|---|---|
| committer | Matt Ickstadt <mattico8@gmail.com> | 2018-08-02 19:10:11 -0500 |
| commit | 93af92910ad62a80420e4ef5695b910a102f34b6 (patch) | |
| tree | 37aa01471b4bc6359eb4a9a80fd044c6a787f314 | |
| parent | f30ce0184d71e342141145472bf816419d30a2c5 (diff) | |
Remove travis github_pages deploy
Since it doesn't work at the moment and it takes a lot of time.
| -rw-r--r-- | .travis.yml | 5 | ||||
| -rw-r--r-- | ci/github_pages.sh | 47 |
2 files changed, 1 insertions, 51 deletions
diff --git a/.travis.yml b/.travis.yml index 45513b62..14e3cbe7 100644 --- a/.travis.yml +++ b/.travis.yml @@ -21,9 +21,6 @@ script: - cargo build --verbose - cargo test --verbose -after_success: - - bash ci/github_pages.sh - before_deploy: - sh ci/before_deploy.sh @@ -40,8 +37,8 @@ deploy: branches: only: - - "/^v\\d+\\.\\d+\\.\\d+.*$/" - master + - /^v\d+\.\d+\.\d+.*$/ notifications: email: diff --git a/ci/github_pages.sh b/ci/github_pages.sh deleted file mode 100644 index ea8b95a3..00000000 --- a/ci/github_pages.sh +++ /dev/null @@ -1,47 +0,0 @@ -#!/bin/bash -# Deploys the `book-example` to GitHub Pages - -set -ex - -# Only run this on the master branch for stable -if [ "$TRAVIS_PULL_REQUEST" != "false" ] || - [ "$TRAVIS_BRANCH" != "master" ] || - [ "$TRAVIS_RUST_VERSION" != "stable" ] || - [ "$TARGET" != "x86_64-unknown-linux-gnu" ]; then - exit 0 -fi - -NC='\033[39m' -CYAN='\033[36m' -GREEN='\033[32m' - -rev=$(git rev-parse --short HEAD) - -echo -e "${CYAN}Running cargo doc${NC}" -cargo doc > /dev/null - -echo -e "${CYAN}Running mdbook build${NC}" -cargo run -- build book-example/ - -echo -e "${CYAN}Copying book to target/doc${NC}" -cp -R book-example/book/* target/doc/ - -cd target/doc - -echo -e "${CYAN}Initializing Git${NC}" -git init -git config user.name "Michael Bryan" -git config user.email "michaelfbryan@gmail.com" - -git remote add upstream "https://$GH_TOKEN@github.com/rust-lang-nursery/mdBook.git" -git fetch upstream --quiet -git reset upstream/gh-pages --quiet - -touch . - -echo -e "${CYAN}Pushing changes to gh-pages${NC}" -git add -A . -git commit -m "rebuild pages at ${rev}" --quiet -git push -q upstream HEAD:gh-pages --quiet - -echo -e "${GREEN}Deployed docs to GitHub Pages${NC}" |