diff options
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1628e7bfe2..3baf50de6c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -559,7 +559,9 @@ validate-x86_64-linux-fedora27: extends: .build-windows stage: full-build variables: - GHC_VERSION: "8.6.2" + GHC_VERSION: "8.6.2 + # due to #16574 this currently fails + allow_failure: true script: - | python boot |