Update gwion.yml

diff --git a/.github/workflows/gwion.yml b/.github/workflows/gwion.yml
index 20b322eafbc3cd391e3b1f85ce130f65dbc59cb3..01fd8936c5c471b0b96e0db34629daf17293ba42 100644 (file)
--- a/.github/workflows/gwion.yml
+++ b/.github/workflows/gwion.yml
@@ -5,7 +5,7 @@ on: [push]
 
 jobs:
   build:
-    name: ${{ matrix.os }}
+    name: ${{ matrix.os }} ${{ matrix.cc }} ${{ !matrix.double && 'double' }}
     runs-on: ${{ matrix.os }}
     strategy:
       matrix: