diff options
| author | Théo Zimmermann | 2020-06-03 12:18:55 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-06-03 12:29:17 +0200 |
| commit | 2beed70e255ee944d94a8ce09b2dfa562e1ce315 (patch) | |
| tree | c5f1d69139b3dc569f6678701f38451dfefe71da | |
| parent | db768e6828af62e06eb03d36509be6f8fc1efbf3 (diff) | |
Fix ONLY_WINDOWS in .gitlab-ci.yml.
| -rw-r--r-- | .gitlab-ci.yml | 31 |
1 files changed, 26 insertions, 5 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e8244fafc8..6c9725f047 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -353,6 +353,9 @@ windows32: lint: stage: stage-1 + except: + variables: + - $ONLY_WINDOWS == "true" script: dev/lint-repository.sh dependencies: [] variables: @@ -362,6 +365,9 @@ lint: pkg:opam: stage: stage-1 + except: + variables: + - $ONLY_WINDOWS == "true" interruptible: true # OPAM will build out-of-tree so no point in importing artifacts dependencies: [] @@ -378,9 +384,6 @@ pkg:opam: .nix-template: image: nixorg/nix:latest # Minimal NixOS image which doesn't even contain git - except: - variables: - - $ONLY_WINDOWS == "true" interruptible: true stage: stage-1 variables: @@ -420,6 +423,9 @@ pkg:nix:deploy: only: - master - /^v.*\..*$/ + except: + variables: + - $ONLY_WINDOWS == "true" pkg:nix:deploy:channel: extends: .deploy-template @@ -444,8 +450,11 @@ pkg:nix:deploy:channel: pkg:nix: extends: .nix-template except: - - master - - /^v.*\..*$/ + refs: + - master + - /^v.*\..*$/ + variables: + - $ONLY_WINDOWS == "true" doc:refman: extends: .doc-template @@ -551,6 +560,10 @@ test-suite:edge+flambda: test-suite:edge:dune:dev: stage: stage-2 + except: + variables: + - $ONLY_WINDOWS == "true" + interruptible: true dependencies: - build:edge+flambda:dune:dev needs: @@ -571,6 +584,10 @@ test-suite:edge:dune:dev: test-suite:edge+4.11+trunk+dune: stage: stage-1 + except: + variables: + - $ONLY_WINDOWS == "true" + interruptible: true dependencies: [] script: - opam switch create 4.11.0 --empty @@ -856,6 +873,10 @@ plugin:ci-perennial: plugin:plugin-tutorial: stage: stage-1 + except: + variables: + - $ONLY_WINDOWS == "true" + interruptible: true dependencies: [] script: - ./configure -local -warn-error yes |