diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index 14d8b878..af8ff61c 100644
--- a/.github/workflows/coq.yml
+++ b/.github/workflows/coq.yml
@@ -17,7 +17,7 @@ jobs:
     strategy:
       matrix:
         env:
-        - { COQ_VERSION: "8.17.0", COQ_PACKAGE: "coq-8.17.0 libcoq-8.17.0-ocaml-dev", PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-11" }
+        - { COQ_VERSION: "8.18.0", COQ_PACKAGE: "coq-8.18.0 libcoq-8.18.0-ocaml-dev", PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-11" }
         - { COQ_VERSION: "master", COQ_PACKAGE: "coq libcoq-core-ocaml-dev"         , PPA: "ppa:jgross-h/coq-master-daily" }
       fail-fast: false
 
diff --git a/bedrock2 b/bedrock2
index 7603637f..3ac07212 160000
--- a/bedrock2
+++ b/bedrock2
@@ -1 +1 @@
-Subproject commit 7603637ff4c567ee47f6a3fe0706bce716d2218a
+Subproject commit 3ac07212becc8d5bd86de3ffdc3b2e43f268e4de