From 934273af2b0644b2955a47aeb90e64b5810a058f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Fri, 17 Jan 2025 14:13:31 -0800
Subject: [PATCH] do not install F* deps

---
 .github/workflows/package-windows.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/package-windows.yml b/.github/workflows/package-windows.yml
index 4f84df5c8..3e2d684a3 100644
--- a/.github/workflows/package-windows.yml
+++ b/.github/workflows/package-windows.yml
@@ -147,7 +147,8 @@ jobs:
         run: |
           eval $(opam env)
           sudo apt-get update || true
-          opam install --deps-only FStar/fstar.opam
+          # opam install --deps-only FStar/fstar.opam
+          # ^ relying on the fact that F* dependencies are already installed
           sed -i '/"fstar"/d' karamel/karamel.opam
           # ^ remove F* dependency of karamel, it is outdated and will conflict.
           opam install --deps-only karamel/karamel.opam