require coq 8.18

mit-plv · Apr 2, 2024 · 88b1403 · 88b1403
1 parent 886fb67
commit 88b1403
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -13,7 +13,7 @@ jobs:
       fail-fast: false
       matrix:
         env:
-        - { COQ_VERSION: "8.17.0", COQ_PACKAGE: "coq-8.17.0 libcoq-8.17.0-ocaml-dev", PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-11" }
+        - { COQ_VERSION: "8.18.0", COQ_PACKAGE: "coq-8.18.0 libcoq-8.18.0-ocaml-dev", PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-11" }
         - { COQ_VERSION: "master", COQ_PACKAGE: "coq libcoq-core-ocaml-dev"         , PPA: "ppa:jgross-h/coq-master-daily" }
 
     runs-on: ubuntu-latest