diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ac52477e6..a683b034c 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -68,7 +68,7 @@ jobs:
       matrix:
         os: [ubuntu-latest]
         ocaml-compiler: [4.14.x]
-        coq: [8.18.0, 8.19.0, dev]
+        coq: [8.18.0, 8.19.0, 8.20+rc1, dev]
     runs-on: ${{ matrix.os }}
     steps:
     - name: Checkout
diff --git a/language-server/dm/types.ml b/language-server/dm/types.ml
index 32bb2497a..b99198966 100644
--- a/language-server/dm/types.ml
+++ b/language-server/dm/types.ml
@@ -24,7 +24,7 @@ type exec_overview = {
 
 let empty_overview = {processing = []; processed = []; prepared = []}
 
-[%%if coq = "8.18" || coq = "8.19"]
+[%%if coq = "8.18" || coq = "8.19" || coq = "8.20"]
   module Quickfix = struct
     type t = unit
     let from_exception _ = Ok([])
diff --git a/language-server/vscoq-language-server.opam b/language-server/vscoq-language-server.opam
index c36d8d46f..75df4f893 100644
--- a/language-server/vscoq-language-server.opam
+++ b/language-server/vscoq-language-server.opam
@@ -13,8 +13,8 @@ build: [
 depends: [
   "ocaml" { >= "4.14" }
   "dune" { >= "3.5" }
-  "coq-core" { ((>= "8.18" < "8.20") | (= "dev")) }
-  "coq-stdlib" { ((>= "8.18" < "8.20") | (= "dev")) }
+  "coq-core" { ((>= "8.18" < "8.21") | (= "dev")) }
+  "coq-stdlib" { ((>= "8.18" < "8.21") | (= "dev")) }
   "yojson"
   "jsonrpc" { >= "1.15"}
   "ocamlfind"