Skip to content

Commit

Permalink
update circle
Browse files Browse the repository at this point in the history
  • Loading branch information
agramfort committed Oct 19, 2017
1 parent 508a82e commit 953d6d1
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions circle.yml
Original file line number Diff line number Diff line change
Expand Up @@ -84,7 +84,7 @@ dependencies:
fi;
if [ "$CIRCLE_BRANCH" == "master" ] || [[ $(cat gitlog.txt) == *"[circle full]"* ]]; then
echo html_dev > build.txt;
elif [ "$CIRCLE_BRANCH" == "maint/0.14" ]; then
elif [ "$CIRCLE_BRANCH" == "maint/0.15" ]; then
echo html_stable > build.txt;
else
FNAMES=$(git diff --name-only $CIRCLE_BRANCH $(git merge-base $CIRCLE_BRANCH upstream/master));
Expand Down Expand Up @@ -182,7 +182,7 @@ deployment:
- cd doc/_build/html && cp -rf * ~/mne-tools.github.io/dev
- cd ../mne-tools.github.io && git add -A && git commit -m 'Automated update of dev docs.' && git push origin master
stable:
branch: maint/0.14
branch: maint/0.15
commands:
- git config --global user.email "[email protected]"
- git config --global user.name "Circle Ci"
Expand Down

0 comments on commit 953d6d1

Please sign in to comment.