diff options
| author | Théo Zimmermann | 2018-07-24 17:01:50 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-08-13 14:25:57 +0200 |
| commit | 6f0d9565eb67acf7bf8f708ef5a2b1ddabc668a5 (patch) | |
| tree | 913be78cef53d217d29a6db55a8e33b28800ee6c | |
| parent | 18b662aa306c58d46292bdf79a2929c91d7d96fd (diff) | |
Do not run 32-bit Windows builds on pull requests.
I have never seen this build fail without the 64-bit Windows build
failing as well. So it is just a waste of time to test it on every
pull request and we are short in Windows test machines.
| -rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c2ca6ebaa4..46f8572b94 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -212,6 +212,9 @@ windows32: <<: *windows-template variables: ARCH: "32" + except: + - /^pr-.*$/ + pkg:nix: image: nixorg/nix:latest # Minimal NixOS image which doesn't even contain git |