bump rupicola (requires Coq >= 8.18) (#1818)

Author: samuelgruetter

.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',

.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"