Skip to content

Commit 8c20a8d

Browse files
authoredJan 7, 2020
chore: deploy website when website deploy script changes (#9375)
1 parent 4425a1f commit 8c20a8d

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed
 

‎.circleci/website.sh

+2-2
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
set -e
44

55
git diff-tree --no-commit-id --name-only -r HEAD > files_changed.txt
6-
if ! grep -E "(^docs\/.*)|(^website\/.*)" files_changed.txt; then
6+
if ! grep -E "(^docs\/.*)|(^website\/.*)|(^\.circleci/website\.sh$)" files_changed.txt; then
77
echo "Skipping deploy & test. No relevant website files have changed"
88
else
99
echo "Relevant website files have changed"
@@ -30,6 +30,6 @@ else
3030
GIT_USER=docusaurus-bot USE_SSH=false yarn publish-gh-pages
3131
else
3232
echo "Skipping deploy. Test website build"
33-
cd website && yarn && yarn build
33+
cd website && yarn && node fetchSupporters.js && yarn build
3434
fi
3535
fi

0 commit comments

Comments
 (0)
Please sign in to comment.