From 6c14324577a434d36d8c81686c701a31936043a8 Mon Sep 17 00:00:00 2001
From: Michael Soegtrop
Date: Fri, 26 Feb 2021 18:12:40 +0100
Subject: CI Windows: adjust branch name to Coq Platform branch renaming

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

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6a8217674a..14bf263251 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -260,7 +260,7 @@ before_script:
   stage: stage-1
   interruptible: true
   variables:
-    PLATFORM: "https://github.com/coq/platform/archive/master.zip"
+    PLATFORM: "https://github.com/coq/platform/archive/dev-ci.zip"
   artifacts:
     name: "$CI_JOB_NAME"
     paths:
-- 
cgit v1.2.3