From 0148c262e79f5ca12140d7fc35a6d3e0d80d5d3b Mon Sep 17 00:00:00 2001 From: Sylvain Gugger <35901082+sgugger@users.noreply.github.com> Date: Wed, 24 Jun 2020 15:16:04 -0400 Subject: [PATCH] Fix first test (#5255) --- .circleci/deploy.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.circleci/deploy.sh b/.circleci/deploy.sh index c251d6f086..7b852c1233 100755 --- a/.circleci/deploy.sh +++ b/.circleci/deploy.sh @@ -5,7 +5,7 @@ function deploy_doc(){ git checkout $1 if [ ! -z "$2" ] then - if [ "$2" != "master" ]; then + if [ "$2" == "master" ]; then echo "Pushing master" make clean && make html && scp -r -oStrictHostKeyChecking=no _build/html/* $doc:$dir/$2/ cp -r _build/html/_static .