diff options
author | Ben Gamari <ben@smart-cactus.org> | 2018-12-22 01:09:20 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2018-12-22 10:56:30 -0500 |
commit | e1c5ab0a308c698745adf7cb6218b74ad8ba3164 (patch) | |
tree | 72ccadf9f3b70f95197e5e94c4b03b30dee5598f | |
parent | 8adef36cb16b244a81dfb54ead924e00069f33ae (diff) | |
download | haskell-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.yml | 1 |
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" |