[CI] Don't duplicate warnings (#140)

mit-plv · Dec 24, 2023 · ed8b959 · ed8b959
1 parent 0b4cfd5
commit ed8b959
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 4 deletions.
diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml
@@ -17,7 +17,11 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        coq-version: [ 'dev' , '8.16' ]
+        coq-version: [ '8.16' ]
+        extra-gh-reportify: [ '' ]
+        include:
+        - coq-version: 'dev'
+          extra-gh-reportify: '--warnings'
 
     runs-on: ubuntu-latest
 
@@ -45,8 +49,8 @@ jobs:
           echo '::endgroup::'
           echo '::remove-matcher owner=coq-problem-matcher::'
           CI=1 etc/ci/describe-system-config.sh
-          etc/ci/github-actions-make.sh --warnings -j2 all
-          etc/ci/github-actions-make.sh --warnings -j2 perf-Sanity
+          etc/ci/github-actions-make.sh ${{ matrix.extra-gh-reportify }} -j2 all
+          etc/ci/github-actions-make.sh ${{ matrix.extra-gh-reportify }} -j2 perf-Sanity
 
   docker-check-all:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
@@ -17,13 +17,13 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ ubuntu-latest ]
         env:
          - { COQ_VERSION: "8.18.0", COQ_PACKAGE: "coq-8.18.0 libcoq-8.18.0-ocaml-dev", SKIP_VALIDATE: "" , PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-11" }
          - { COQ_VERSION: "8.17.1", COQ_PACKAGE: "coq-8.17.1 libcoq-8.17.1-ocaml-dev", SKIP_VALIDATE: "" , PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-11" }
          # Ltac2 is broken in the 8.16 package
          #- { COQ_VERSION: "8.16.1", COQ_PACKAGE: "coq-8.16.1 libcoq-8.16.1-ocaml-dev", SKIP_VALIDATE: "" , PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-11" }
          - { 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" }
+        os: [ ubuntu-latest ]
         include:
         - 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