From cf5d64e74f50153f8eaf1c94e97ca9f2a4c4c471 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Sun, 5 Jan 2025 15:48:53 -0800
Subject: [PATCH] Update build-windows.yml
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Guido Martínez <mtzguido@gmail.com>
---
 .github/workflows/build-windows.yml | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/build-windows.yml b/.github/workflows/build-windows.yml
index a2d64743735..4a27d4a4671 100644
--- 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: |