Update build-windows.yml

Signed-off-by: Guido Martínez <[email protected]>
FStarLang · Jan 5, 2025 · cf5d64e · cf5d64e
1 parent 04187ae
commit cf5d64e
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/.github/workflows/build-windows.yml b/.github/workflows/build-windows.yml
@@ -24,11 +24,10 @@ jobs:
         with:
           path: FStar
 
-      - uses: ocaml/setup-ocaml@v3
-        with:
-          ocaml-compiler: 4.14.2
-
-      # Already present in runner.
+      # self-hosted runner already set up
+      # - uses: ocaml/setup-ocaml@v3
+      #   with:
+      #     ocaml-compiler: 4.14.2
       # - name: Prepare
       #   shell: powershell # somehow in bash we fail to build ocamlfind?
       #   run: |