From f19800bee494475f133c79399d3950378eb151c5 Mon Sep 17 00:00:00 2001
From: Michael Soegtrop
Date: Thu, 23 Jan 2020 20:02:35 +0100
Subject: Changed Gitlab CI runner tag for Windows to windows-inria

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3