Fix CI, hard-code coq version

uds-psl · Nov 7, 2023 · 8462c59 · 8462c59
1 parent c1b3cef
commit 8462c59
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -4,7 +4,7 @@ on: [push, pull_request]
 
 env:
   OCAML_VERSION: 4.11.0
-  CACHE_KEY: opam-8.16-${{github.base_ref}}-${{github.ref}}
+  CACHE_KEY: opam-8.18-${{github.base_ref}}-${{github.ref}}
 jobs:
   build-deps:
     runs-on: ubuntu-latest
@@ -16,7 +16,7 @@ jobs:
         path: "~/.opam"
         key: ${{env.CACHE_KEY}}
         restore-keys: |
-          opam-8.16--refs/heads/${{github.base_ref}}
+          opam-8.18--refs/heads/${{github.base_ref}}
 
     - name: Install OCaml
       uses: avsm/setup-ocaml@v1

diff --git a/opam b/opam
@@ -25,6 +25,7 @@ install: [
   [make "install"]
 ]
 depends: [
+  "coq" {>= "8.18" & < "8.19~"}
   "coq-library-undecidability" {= "1.1.1+8.18"}
 ]
 synopsis: "A Coq Library for First-Order Logic"