Update coq-windows.yml

OwenConoly · Feb 8, 2025 · 77eadd8 · 77eadd8
1 parent 3f1642e
commit 77eadd8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
@@ -43,7 +43,7 @@ jobs:
     - name: Set up OCaml
       uses: ocaml/setup-ocaml@v3
       with:
-        ocaml-compiler: 4.14.2
+        ocaml-compiler: 4.14
     - run: opam install conf-time conf-gcc
     - run: opam install 'ocamlfind>=1.9.7'
     - run: opam pin add --kind=version coq ${{ env.COQ_VERSION }}