Add back targets to name

mit-plv · Oct 6, 2023 · 28ee30c · 28ee30c
1 parent c99fdb3
commit 28ee30c
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/docker-coq.yml b/.github/workflows/docker-coq.yml
@@ -12,8 +12,9 @@ jobs:
       fail-fast: false
       matrix:
         coq-version: [ "dev" , "8.18" , "8.17" , "8.16" ]
+        targets: [ "fiat-core parsers" ]
 
-    name: ${{ matrix.coq-version }}
+    name: ${{ matrix.coq-version }} (${{ matrix.targets }})
 
     concurrency:
       group: ${{ github.workflow }}-${{ matrix.coq-version }}-${{ github.head_ref || github.run_id }}
@@ -36,7 +37,7 @@ jobs:
           sudo apt-get install -y python python3
           eval $(opam env)
           endGroup
-          export TARGETS="fiat-core parsers"
+          export TARGETS="${{ matrix.targets }}"
           export FLAGS="PROFILE=1"
           export NJOBS="2"
           git config --global --add safe.directory "*"