diff --git a/docs/ci.sh b/docs/ci.sh index 159d0b50d..3e2e9bc76 100755 --- a/docs/ci.sh +++ b/docs/ci.sh @@ -2,7 +2,6 @@ set -o errexit set -o pipefail -set -o nounset # set -o xtrace # This script gets run from CI to render and upload docs for the master branch.