aboutsummaryrefslogtreecommitdiffstats
path: root/docs/ci
diff options
context:
space:
mode:
Diffstat (limited to 'docs/ci')
-rwxr-xr-xdocs/ci3
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/ci b/docs/ci
index 1584c5e1..107e8370 100755
--- a/docs/ci
+++ b/docs/ci
@@ -1,8 +1,9 @@
#!/bin/bash
+set -e
# This script gets run from CI to render and upload docs
-./build
+./build-current
# Only upload if we have defined credentials - we only have these defined for
# trusted commits (i.e. not PRs).