[CI] Add newer Coq

mit-plv · Apr 1, 2023 · 16fa8b7 · 16fa8b7
1 parent caba457
commit 16fa8b7
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -12,9 +12,12 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
+        os: [ ubuntu-latest ]
+        env:
+         - { COQ_VERSION: "v8.16" , COQ_PACKAGE: "coq libcoq-ocaml-dev"              , SKIP_VALIDATE: "" , PPA: "ppa:jgross-h/coq-8.16-daily" }
+         - { COQ_VERSION: "8.16.0", COQ_PACKAGE: "coq-8.16.0 libcoq-8.16.0-ocaml-dev", SKIP_VALIDATE: "" , PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-08" }
+         - { COQ_VERSION: "8.15.2", COQ_PACKAGE: "coq-8.15.2 libcoq-8.15.2-ocaml-dev", SKIP_VALIDATE: "" , PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-08" }
         include:
-        - env: { COQ_VERSION: "8.15.0", COQ_PACKAGE: "coq-8.15.0 libcoq-8.15.0-ocaml-dev", SKIP_VALIDATE: "" , PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-08" }
-          os: ubuntu-latest
         - env: { COQ_VERSION: "v8.15" , COQ_PACKAGE: "coq libcoq-ocaml-dev"              , SKIP_VALIDATE: "" , PPA: "ppa:jgross-h/coq-8.15-daily" }
           os: ubuntu-20.04