Merge pull request #818 from coq-community/fix-deploy

Remove install-windows from create-release until it is fixed upstream
coq · Jul 3, 2024 · 93d07e6 · 93d07e6
2 parents b64bef0 + b49c756
commit 93d07e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -177,7 +177,7 @@ jobs:
 
   create-release:
     runs-on: ubuntu-latest
-    needs: [build-extension, nix-dev-build, install-opam, install-windows, dev-setup-opam]
+    needs: [build-extension, nix-dev-build, install-opam, dev-setup-opam]
     steps:
       - name: Checkout
         uses: actions/checkout@v3