Swap win and mac

As per issues described at https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs-.26-plugin-devs/topic/8.2E18.20missing.20from.20opam.3F/near/401077134
mit-plv · Nov 9, 2023 · 549ca31 · 549ca31
1 parent ff38da8
commit 549ca31
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml
@@ -20,7 +20,7 @@ jobs:
 
     env:
       NJOBS: "2"
-      COQ_VERSION: "8.17.0" # minimal major version required for bedrock2 components
+      COQ_VERSION: "8.18.0" # pick a version not tested on other platforms
       COQCHKEXTRAFLAGS: ""
       SKIP_BEDROCK2: "0"
 

diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
@@ -23,7 +23,7 @@ jobs:
 
     env:
       NJOBS: "2"
-      COQ_VERSION: "8.18.0" # pick a version not tested on other platforms
+      COQ_VERSION: "8.17.0" # minimal major version required for bedrock2 components
       COQEXTRAFLAGS: "-async-proofs-j 1"
       COQCHKEXTRAFLAGS: ""
       OPAMYES: "true"