diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9c97baa5d5..b803358e91 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -257,6 +257,8 @@ validate-x86_64-windows-hadrian: stage: full-build variables: GHC_VERSION: "8.6.2" + # due to #16073 + allow_failure: true script: - PATH=C:\msys64\usr\bin;%PATH% - bash .gitlab/win32-init.sh |