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: |