[compat] Initial 8.20 branch

ejgallego · Jun 20, 2024 · 7d3e730 · 7d3e730
1 parent 7f41a32
commit 7d3e730
Show file tree

Hide file tree

Showing 5 changed files with 3 additions and 6 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+      - v8.21
       - v8.20
       - v8.19
       - v8.18
@@ -13,6 +14,7 @@ on:
   pull_request:
     branches:
       - main
+      - v8.21
       - v8.20
       - v8.19
       - v8.18

diff --git a/.gitmodules b/.gitmodules
diff --git a/coq-lsp.opam b/coq-lsp.opam
@@ -37,7 +37,7 @@ depends: [
   "ppx_inline_test"     { >= "0.14.1" }
 
   # Uncomment this for releases
-  # "coq"          { >= "8.17" < "8.18"  }
+  "coq"          { >= "8.20" < "8.21"  }
 
   # coq deps: remove this for releases
   "ocamlfind" {>= "1.8.1"}

diff --git a/vendor/.ocamlformat b/vendor/.ocamlformat
diff --git a/vendor/coq b/vendor/coq