From 549ca3154b04ae4a07b3c7a80a9d77afccdb7fbd Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 8 Nov 2023 21:12:31 -0800 Subject: [PATCH] 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 --- .github/workflows/coq-macos.yml | 2 +- .github/workflows/coq-windows.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml index 15a3f9e38df..31e03924cdc 100644 --- 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 index ec32deea6d0..701589060d6 100644 --- 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"