diff options
| author | coqbot-app[bot] | 2021-02-16 21:18:26 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-16 21:18:26 +0000 |
| commit | c6bc1cea49cb5a18142437325ecb6875514c22bb (patch) | |
| tree | d2e6b323d69fbed638d5a26119959903183bea85 | |
| parent | c0e0e637c61e075f43b73d1ddd8eaa9d79b27561 (diff) | |
| parent | 43ed1525126723858e6e3cbd63f26dc2af479511 (diff) | |
Merge PR #13866: Only run windows job when WINDOWS=enabled
Reviewed-by: Zimmi48
| -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 10ec39da12..6a8217674a 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -351,6 +351,9 @@ windows64: - call dev/ci/platform-windows.bat tags: - windows-inria + only: + variables: + - $WINDOWS =~ /enabled/ lint: stage: stage-1 |