add dev repo for Coq beta

uds-psl · Dec 15, 2020 · 2ecac94 · 2ecac94
1 parent 1906121
commit 2ecac94
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -27,6 +27,7 @@ jobs:
           fetch-depth: 1
 
       - run: opam repo add coq-released https://coq.inria.fr/opam/released
+      - run: opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev
       - run: opam install . --deps-only --with-doc --with-test
 
       - run: opam exec -- make -j 2 all
diff --git a/opam b/opam
@@ -12,7 +12,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "ocaml"
-  "coq" { >= "8.13" & < "8.14~" }
+  "coq" { = "8.13+beta1" }
 ]
 synopsis: "Smpl: An Extensible Tactic for Coq"
 description: """