From ff16fbf71edd24cba38a58e500cf1a2f586147db Mon Sep 17 00:00:00 2001 From: Thomas Kriechbaumer Date: Sun, 8 Nov 2020 13:17:38 +0100 Subject: [PATCH] fix docs ci script running locally --- docs/ci.sh | 1 - 1 file changed, 1 deletion(-) 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.