From 03fdc448d452ad4d594db722a5ef375df847ff52 Mon Sep 17 00:00:00 2001
From: Romain Tetley <romain.tetley@inria.fr>
Date: Tue, 30 Jan 2024 09:16:20 +0100
Subject: [PATCH] Disable install-windows job in CI

Waiting for https://github.com/coq/coq/pull/18550 to fix issue upstream
---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index bd4bea5e5..20e36dd21 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -90,6 +90,7 @@ jobs:
       run: cat /tmp/vscoq_init_log.*
 
   install-windows:
+    if: false
     runs-on: windows-latest
     steps:
     - name: Set git to use LF