Merge pull request #716 from coq-community/disable-install-windows-ci

Disable install-windows job in CI
coq · Jan 30, 2024 · 1ae429c · 1ae429c
2 parents ffa199b + 03fdc44
commit 1ae429c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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