bump rupicola (requires Coq >= 8.18)

mit-plv · Feb 5, 2024 · 824c0e7 · 824c0e7
1 parent 4194a48
commit 824c0e7
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
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.18.0', '8.17.0']
+        coq-version: ['dev', '8.19.0', '8.18.0']
         ocaml-compiler: ['4.11.1']
         os: [{name: 'Ubuntu',
               runs-on: 'ubuntu-latest',

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

diff --git a/rupicola b/rupicola