ci: Drop 8.11, add 8.13.0

mit-plv/bedrock2@ff26704
mit-plv · May 12, 2021 · 11d0baf · 11d0baf
1 parent 346682a
commit 11d0baf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -16,7 +16,7 @@ jobs:
     strategy:
       matrix:
         env:
-        - { COQ_VERSION: "8.11.1", COQ_PACKAGE: "coq-8.11.1 libcoq-8.11.1-ocaml-dev", PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-05" }
+        - { COQ_VERSION: "8.13.0", COQ_PACKAGE: "coq-8.13.0 libcoq-8.13.0-ocaml-dev", PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-05" }
         - { COQ_VERSION: "master", COQ_PACKAGE: "coq libcoq-ocaml-dev"              , PPA: "ppa:jgross-h/coq-master-daily" }
 
     env: ${{ matrix.env }}