diff --git a/.github/workflows/coq-opam-package.yml b/.github/workflows/coq-opam-package.yml
index 9926f34dc6..880ecd3152 100644
--- 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
index 9763b0b2f4..196d8d4369 100644
--- 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
index 9f17f7cb81..b285278aed 160000
--- a/rupicola
+++ b/rupicola
@@ -1 +1 @@
-Subproject commit 9f17f7cb811861fa21021b2fd935eb13ae899c05
+Subproject commit b285278aeda3f74de5f3cf0bff1bc3b3c8c6327c