From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Fri, 6 Dec 2019 21:18:02 +0000 (+0100)
Subject: Update gwion.yml
X-Git-Tag: nightly~2068^2~1^2~1
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=87a14b09f3aaffca61d433e6c756e2f1589c5924;p=gwion.git

Update gwion.yml
---

diff --git a/.github/workflows/gwion.yml b/.github/workflows/gwion.yml
index 20b322ea..01fd8936 100644
--- 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: