changing deploy/pull options
This commit is contained in:
parent
30bea3a47e
commit
2d95c76b3e
@ -7,12 +7,12 @@ install:
|
|||||||
- pip install mkdocs
|
- pip install mkdocs
|
||||||
- pip install mkdocs-material==0.2.4
|
- pip install mkdocs-material==0.2.4
|
||||||
script:
|
script:
|
||||||
- git pull
|
|
||||||
- mkdocs build --clean
|
- mkdocs build --clean
|
||||||
|
- git pull
|
||||||
after_success: |
|
after_success: |
|
||||||
if [ -n "$GITHUB_API_KEY" ]; then
|
if [ -n "$GITHUB_API_KEY" ]; then
|
||||||
cd "$TRAVIS_BUILD_DIR"
|
cd "$TRAVIS_BUILD_DIR"
|
||||||
mkdocs gh-deploy --remote-name https://mariuspana:$GITHUB_API_KEY@github.com/spearheadsys/issue-response-docs.git
|
mkdocs gh-deploy --clean
|
||||||
cd "$TRAVIS_BUILD_DIR"
|
cd "$TRAVIS_BUILD_DIR"
|
||||||
fi
|
fi
|
||||||
env:
|
env:
|
||||||
|
Loading…
Reference in New Issue
Block a user