diff options
| -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 45597851ef..2947bfb700 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -229,6 +229,7 @@ windows64: <<: *windows-template variables: ARCH: "64" + allow_failure: true windows32: <<: *windows-template @@ -236,6 +237,7 @@ windows32: ARCH: "32" except: - /^pr-.*$/ + allow_failure: true pkg:opam: stage: test |