Commit 7564fb91 authored by Dion Haefner's avatar Dion Haefner

adjust doc deployment

parent feaff95c
#!/bin/sh
LOCAL=$CI_BUILD_REF
git checkout $GITBRANCH -q
REMOTE=$(git rev-parse $GITBRANCH@{upstream})
git checkout $CI_BUILD_REF_NAME -q
REMOTE=$(git rev-parse $CI_BUILD_REF_NAME@{upstream})
git checkout $LOCAL -q
cd $PARENTDIR
if [ "$LOCAL" = "$REMOTE" ]; then
echo "Deploying documentation to dorie-docs.bitballoon.com"
echo "{\"access_token\":\"$CI_BITBALLOON_TOKEN\",\"site_id\":\"$CI_BITBALLOON_ID\"}" > .bitballoon
......@@ -19,5 +20,5 @@ if [ "$LOCAL" = "$REMOTE" ]; then
fi
bitballoon deploy build-cmake/doc/html
else
echo "Commit $LOCAL is not the most recent commit on branch $GITBRANCH ($REMOTE) - skipping deployment"
echo "Commit $LOCAL is not the most recent commit on branch $CI_BUILD_REF_NAME ($REMOTE) - skipping deployment"
fi
......@@ -34,7 +34,7 @@ build:update_dune:
deploy:docs:
script:
- cd $CI_PROJECT_DIR && bash deploy_docs.sh
- cd $CI_PROJECT_DIR && bash .deploy_docs
stage: deploy
only:
- master
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment