diff options
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2947bfb700..45597851ef 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -229,7 +229,6 @@ windows64: <<: *windows-template variables: ARCH: "64" - allow_failure: true windows32: <<: *windows-template @@ -237,7 +236,6 @@ windows32: ARCH: "32" except: - /^pr-.*$/ - allow_failure: true pkg:opam: stage: test |