Skip to content

Commit 3eed3ca

Browse files
committed
all good
1 parent 9b66b19 commit 3eed3ca

File tree

1 file changed

+19
-20
lines changed

1 file changed

+19
-20
lines changed

.circleci/config.yml

Lines changed: 19 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -103,24 +103,24 @@ jobs:
103103
name: Deploy docs
104104
command: |
105105
set -e;
106-
# if [ "${CIRCLE_BRANCH}" == "master" ]; then
107-
git config --global user.email "[email protected]";
108-
git config --global user.name "Circle CI";
109-
cd ~/PythonOT.github.io;
110-
git checkout master
111-
git remote -v
112-
git fetch origin
113-
git reset --hard origin/master
114-
git clean -xdf
115-
echo "Deploying dev docs for ${CIRCLE_BRANCH}.";
116-
cp -a /tmp/build/html/* .;
117-
touch .nojekyll;
118-
git add -A;
119-
git commit -m "CircleCI update of dev docs (${CIRCLE_BUILD_NUM}).";
120-
git push origin master;
121-
# else
122-
# echo "No deployment (build: ${CIRCLE_BRANCH}).";
123-
# fi
106+
if [ "${CIRCLE_BRANCH}" == "master" ]; then
107+
git config --global user.email "[email protected]";
108+
git config --global user.name "Circle CI";
109+
cd ~/PythonOT.github.io;
110+
git checkout master
111+
git remote -v
112+
git fetch origin
113+
git reset --hard origin/master
114+
git clean -xdf
115+
echo "Deploying dev docs for ${CIRCLE_BRANCH}.";
116+
cp -a /tmp/build/html/* .;
117+
touch .nojekyll;
118+
git add -A;
119+
git commit -m "CircleCI update of dev docs (${CIRCLE_BUILD_NUM}).";
120+
git push origin master;
121+
else
122+
echo "No deployment (build: ${CIRCLE_BRANCH}).";
123+
fi
124124
125125
workflows:
126126
version: 2
@@ -134,5 +134,4 @@ workflows:
134134
filters:
135135
branches:
136136
only:
137-
# - master
138-
- doc_ci_build
137+
- master

0 commit comments

Comments
 (0)