remove 8.10, remove -j2 from make all (failing, reason TBD)

mit-plv · Jun 2, 2020 · 21efafd · 21efafd
1 parent f644a08
commit 21efafd
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -17,7 +17,6 @@ jobs:
       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.10.2", COQ_PACKAGE: "coq-8.10.2 libcoq-8.10.2-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 }}
@@ -60,5 +59,5 @@ jobs:
       run: git submodule update --init --recursive
     - name: make dependencies
       run: make -j2 deps
-    - name: make
-      run: make -j2
+    - name: make all
+      run: make all # TODO: investigate why this fails with -j2