fix prod docs build (#6402)

11 months ago · af96de6552
parent 50556f3b35
commit af96de6552
1 changed files with 1 additions and 1 deletions
--- a/docs/docs_skeleton/ignore_build.sh
+++ b/docs/docs_skeleton/ignore_build.sh
@ -2,7 +2,7 @@

 echo "VERCEL_GIT_COMMIT_REF: $VERCEL_GIT_COMMIT_REF"

-if [[ $VERCEL_GIT_COMMIT_REF = __docs__* ]] ; then
+if [[ $VERCEL_GIT_COMMIT_REF = __docs__* || "$VERCEL_GIT_COMMIT_REF" == "master" ]] ; then
  # Proceed with the build
 	echo "✅ - Build can proceed"
  exit 1;