diff --git a/.buildkite/scripts/docs_push.sh b/.buildkite/scripts/docs_push.sh index 439e13d2f1..9edc8a189f 100755 --- a/.buildkite/scripts/docs_push.sh +++ b/.buildkite/scripts/docs_push.sh @@ -23,7 +23,7 @@ mkdocs gh-deploy --force --dirty # We do two builds to ensure any behavior of gh-deploy doesn't impact the second # build. rm -rf site -mkdocs build -e docs/theme -t material +mkdocs build -t material git checkout -t origin/docs # Trying to commit 0 changes would fail, so let's check if there's any changes