From 3f1642e514c0ecc7931d2de29f92d7daa653d77b Mon Sep 17 00:00:00 2001
From: Jason Gross <jasongross9@gmail.com>
Date: Fri, 7 Feb 2025 16:29:05 -0800
Subject: [PATCH] Try updating coq-windows.yml

---
 .github/workflows/coq-windows.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
index 8d3c4353ca..0f3ffce1bb 100644
--- a/.github/workflows/coq-windows.yml
+++ b/.github/workflows/coq-windows.yml
@@ -26,7 +26,7 @@ jobs:
 
     env:
       NJOBS: "2"
-      COQ_VERSION: "8.18.0" # minimal major version required for bedrock2 components
+      COQ_VERSION: "8.20.0"
       COQEXTRAFLAGS: "-async-proofs-j 1"
       COQCHKEXTRAFLAGS: ""
       OPAMYES: "true"
@@ -43,7 +43,7 @@ jobs:
     - name: Set up OCaml
       uses: ocaml/setup-ocaml@v3
       with:
-        ocaml-compiler: 4.13.1
+        ocaml-compiler: 4.14.2
     - run: opam install conf-time conf-gcc
     - run: opam install 'ocamlfind>=1.9.7'
     - run: opam pin add --kind=version coq ${{ env.COQ_VERSION }}