summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2018-12-22 01:09:20 -0500
committerBen Gamari <ben@smart-cactus.org>2018-12-22 10:56:30 -0500
commite1c5ab0a308c698745adf7cb6218b74ad8ba3164 (patch)
tree72ccadf9f3b70f95197e5e94c4b03b30dee5598f
parent8adef36cb16b244a81dfb54ead924e00069f33ae (diff)
downloadhaskell-e1c5ab0a308c698745adf7cb6218b74ad8ba3164.tar.gz
gitlab-ci: Allow Darwin CircleCI build to fail
This is currently spuriously failing. Moreover, we have the Mac Mini builder running again so this is much less necessary now.
-rw-r--r--.gitlab-ci.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5eff228a35..4c2f2a4942 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -385,4 +385,5 @@ validate-x86_64-windows:
circleci-validate-x86_64-darwin:
extends: .circleci
stage: full-build
+ allow_failure: true
script: ".gitlab/circle-ci-job.sh validate-x86_64-darwin"