bump coq version

co-dan · Jul 17, 2023 · 16b25c6 · 16b25c6
1 parent 14103e9
commit 16b25c6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -9,7 +9,7 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'coqorg/coq:8.15'
+          - 'coqorg/coq:8.17'
           - 'coqorg/coq:8.16'
       max-parallel: 4
       fail-fast: false

diff --git a/coq-bunched.opam b/coq-bunched.opam
@@ -13,5 +13,5 @@ install: [make "install"]
 remove: ["rm" "-rf" "%{lib}%/coq/user-contrib/bunched"]
 depends: [
   "coq-stdpp" { (>= "1.8.0") | (= "dev") }
-  "coq" { (>= "8.15") | (= "dev") }
+  "coq" { (>= "8.16") | (= "dev") }
 ]