Merge pull request #5 from Michael-F-Bryan/ci
Set up the basic CI infrastructure
This commit is contained in:
commit
82fb38cb83
|
|
@ -0,0 +1,17 @@
|
||||||
|
language: rust
|
||||||
|
|
||||||
|
cache: pip
|
||||||
|
|
||||||
|
install:
|
||||||
|
- bash ci/install.sh
|
||||||
|
- source ~/.cargo/env || true
|
||||||
|
|
||||||
|
script:
|
||||||
|
- true
|
||||||
|
|
||||||
|
after_success:
|
||||||
|
- bash ci/github_pages.sh
|
||||||
|
|
||||||
|
notifications:
|
||||||
|
email:
|
||||||
|
on_success: never
|
||||||
|
|
@ -0,0 +1,10 @@
|
||||||
|
#!/bin/bash
|
||||||
|
set -ex
|
||||||
|
|
||||||
|
BOOK_DIR=book
|
||||||
|
|
||||||
|
# Only upload the built book to github pages if it's a commit to master
|
||||||
|
if [ "$TRAVIS_BRANCH" = master -a "$TRAVIS_PULL_REQUEST" = false ]; then
|
||||||
|
mdbook build
|
||||||
|
ghp-import $BOOK_DIR
|
||||||
|
fi
|
||||||
|
|
@ -0,0 +1,6 @@
|
||||||
|
#!/bin/bash
|
||||||
|
set -ex
|
||||||
|
|
||||||
|
if command -v ghp-import >/dev/null 2>&1; then
|
||||||
|
pip install ghp-import
|
||||||
|
fi
|
||||||
Loading…
Reference in New Issue