From 3707a76257512f3cbc0fd2f2835c9d03c26bea97 Mon Sep 17 00:00:00 2001 From: Alexandre Gramfort Date: Tue, 27 Sep 2016 21:18:21 +0200 Subject: [PATCH] update circle --- circle.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/circle.yml b/circle.yml index a5bdb852517..7092492e69e 100644 --- a/circle.yml +++ b/circle.yml @@ -56,7 +56,7 @@ dependencies: - PATTERN=""; if [ "$CIRCLE_BRANCH" == "master" ] || [[ `git log -1 --pretty=%B` == *"[circle full]"* ]]; then echo html_dev > build.txt; - elif [ "$CIRCLE_BRANCH" == "maint/0.12" ]; then + elif [ "$CIRCLE_BRANCH" == "maint/0.13" ]; then echo html_stable > build.txt; else FNAMES=$(git diff --name-only $CIRCLE_BRANCH $(git merge-base $CIRCLE_BRANCH origin/master));