diff options
| author | Emilio Jesus Gallego Arias | 2020-01-23 21:17:10 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-01-23 21:17:10 +0100 |
| commit | 6aa5a28d3409cbac4a888f2fdd9faebf1b3ccd96 (patch) | |
| tree | 7f510ffe7e1431073d27c56be089a3efd58a3ab4 | |
| parent | 9508ca5b3f4611940be532a7a8d9078e0605a05f (diff) | |
| parent | f19800bee494475f133c79399d3950378eb151c5 (diff) | |
Merge PR #11446: Changed Gitlab CI runner tag for Windows to windows-inria
Reviewed-by: ejgallego
| -rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 78b4b16eff..c3e59a6d89 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -234,7 +234,7 @@ before_script: expire_in: 1 week dependencies: [] tags: - - windows + - windows-inria before_script: [] script: - call dev/ci/gitlab.bat |