summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-04-09 16:20:08 -0400
committerBen Gamari <ben@smart-cactus.org>2019-04-17 10:57:23 -0400
commitd127dc131c070e90e93ea265c95601a2fb851920 (patch)
tree57f6689a829db6df18beb2174f141f72891493fa
parente9e1c5a2b7487eb5d6289892ef374a87bb85ef3e (diff)
downloadhaskell-d127dc131c070e90e93ea265c95601a2fb851920.tar.gz
Allow unregisterised build to fail
-rw-r--r--.gitlab-ci.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f41878cac8..9f576bb3e4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -388,6 +388,7 @@ nightly-x86_64-linux-deb9-integer-simple:
validate-x86_64-linux-deb9-unreg:
extends: .build-x86_64-linux-deb9
stage: full-build
+ allow_failure: true
variables:
CONFIGURE_ARGS: --enable-unregisterised
TEST_ENV: "x86_64-linux-deb9-unreg"