diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 27b0319cad23c2b94b2d051ba3bd5428f45a98d8..8f3dbe13d509efabba4809606d6d2d6d5833569b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -50,6 +50,13 @@ build-coq.dev:
     OPAM_PINS: "coq-core.dev git git+https://github.com/coq/coq#$COQ_REV   coq-stdlib.dev git git+https://github.com/coq/coq#$COQ_REV   coq.dev git git+https://github.com/coq/coq#$COQ_REV"
     MANGLE_NAMES: "1"
 
+build-coq.8.14.dev:
+  <<: *template
+  variables:
+    OPAM_PINS: "coq version 8.14.dev"
+    MANGLE_NAMES: "1"
+    DENY_WARNINGS: "1"
+
 build-coq.8.13.2:
   <<: *template
   interruptible: false
@@ -83,11 +90,11 @@ trigger-stdpp.dev-coq.8.13.1:
   - api
 
 # Nightly job with latest Coq beta branch
-trigger-stdpp.dev-coq.8.13.dev:
+trigger-stdpp.dev-coq.8.14.dev:
   <<: *template
   variables:
     STDPP_REPO: "iris/stdpp"
-    OPAM_PINS: "coq version 8.13.dev   git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV"
+    OPAM_PINS: "coq version 8.14.dev   git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV"
     CI_COQCHK: "1"
   except:
   only:
diff --git a/coq-iris.opam b/coq-iris.opam
index 898dba3eaf3aace5c85f313c54a70e5478b56717..f1fb7965ec70aa322228638d4f9c4f70008fa72b 100644
--- a/coq-iris.opam
+++ b/coq-iris.opam
@@ -14,8 +14,8 @@ iris.prelude, iris.algebra, iris.si_logic, iris.bi, iris.proofmode, iris.base_lo
 """
 
 depends: [
-  "coq" { (>= "8.12" & < "8.14~") | (= "dev") }
-  "coq-stdpp" { (= "dev.2021-06-18.0.0a38be45") | (= "dev") }
+  "coq" { (>= "8.12" & < "8.15~") | (= "dev") }
+  "coq-stdpp" { (= "dev.2021-06-23.0.db699c57") | (= "dev") }
 ]
 
 build: ["./make-package" "iris" "-j%{jobs}%"]