do not install F* deps

project-everest · Jan 17, 2025 · 934273a · 934273a
1 parent afeffb3
commit 934273a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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