8.18 is not yet in the ppa

mit-plv · Oct 18, 2023 · 0e391b2 · 0e391b2
1 parent f323750
commit 0e391b2
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -13,7 +13,6 @@ jobs:
       matrix:
         env:
         - { COQ_VERSION: "master", COQ_PACKAGE: "coq"       , PPA: "ppa:jgross-h/coq-master-daily"             }
-        - { COQ_VERSION: "8.18.0", COQ_PACKAGE: "coq-8.18.0", PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-11" }
         - { COQ_VERSION: "8.17.1", COQ_PACKAGE: "coq-8.17.1", PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-11" }
         - { COQ_VERSION: "8.16.1", COQ_PACKAGE: "coq-8.16.1", PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-11" }
       fail-fast: false