update CI to Coq 8.16, and remove Ubuntu LTS because we now have Debian

JasonGross · Aug 14, 2023 · eb9e5bc · eb9e5bc
1 parent ecfafcc
commit eb9e5bc
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 113 deletions.
diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml
@@ -19,7 +19,7 @@ jobs:
 
     env:
       NJOBS: "2"
-      COQ_VERSION: "8.15.2" # minimal major version required for bedrock2 components
+      COQ_VERSION: "8.16.0" # minimal major version required for bedrock2 components
       COQCHKEXTRAFLAGS: ""
       SKIP_BEDROCK2: "0"
 

diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml
@@ -16,7 +16,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        coq-version: ['dev', '8.15.2']
+        coq-version: ['dev', '8.16.0']
         ocaml-compiler: ['4.11.1']
         os: ['ubuntu-latest', 'macos-latest', 'windows-latest']
         coq-extra-flags: ['-async-proofs-j 1', '']

diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
@@ -22,7 +22,7 @@ jobs:
 
     env:
       NJOBS: "2"
-      COQ_VERSION: "8.15.2" # https://packages.debian.org/testing/coq
+      COQ_VERSION: "8.16.0" # https://packages.debian.org/testing/coq
       COQEXTRAFLAGS: "-async-proofs-j 1"
       COQCHKEXTRAFLAGS: ""
       OPAMYES: "true"

diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml