From 77eadd8d135b94e3489f1524d8f8a349c9da024c Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 7 Feb 2025 17:06:53 -0800 Subject: [PATCH] Update coq-windows.yml --- .github/workflows/coq-windows.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml index 0f3ffce1bb..ae0789dbe0 100644 --- 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 }}