Use ubuntu-latest again, now that ppas are fixed (#94)

mit-plv · Nov 27, 2022 · d644f09 · d644f09
1 parent d6d9970
commit d644f09
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -9,15 +9,17 @@ on:
 jobs:
   build:
 
-    runs-on: ubuntu-20.04
-
     strategy:
+      fail-fast: false
       matrix:
-        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" }
-        - { COQ_VERSION: "v8.15" , COQ_PACKAGE: "coq libcoq-ocaml-dev"              , SKIP_VALIDATE: "" , PPA: "ppa:jgross-h/coq-8.15-daily" }
+        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
 
     env: ${{ matrix.env }}
+    runs-on: ${{ matrix.os }}
 
     steps:
     - name: install Coq