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

Update gwion.yml
---

diff --git a/.github/workflows/gwion.yml b/.github/workflows/gwion.yml
index 01fd8936..57fc0e00 100644
--- a/.github/workflows/gwion.yml
+++ b/.github/workflows/gwion.yml
@@ -5,7 +5,7 @@ on: [push]
 
 jobs:
   build:
-    name: ${{ matrix.os }} ${{ matrix.cc }} ${{ !matrix.double && 'double' }}
+    name: ${{ matrix.os }} ${{ matrix.cc }} ${{ matrix.double && 'double' || ''}}
     runs-on: ${{ matrix.os }}
     strategy:
       matrix: