From 1ba5c2e0ba3f9f779feb56ccd3aaa760e6fdb9aa Mon Sep 17 00:00:00 2001 From: Samuel Gruetter Date: Thu, 17 Aug 2023 13:05:00 -0400 Subject: [PATCH] add 8.17 to CI --- .github/workflows/coq.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml index ca89d49a..4f2822a0 100644 --- a/.github/workflows/coq.yml +++ b/.github/workflows/coq.yml @@ -18,6 +18,7 @@ jobs: matrix: env: - { COQ_VERSION: "8.16.1", COQ_PACKAGE: "coq-8.16.1 libcoq-8.16.1-ocaml-dev", PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-11" } + - { 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: "master", COQ_PACKAGE: "coq libcoq-core-ocaml-dev" , PPA: "ppa:jgross-h/coq-master-daily" } fail-fast: false