Update gwion.yml

diff --git a/.github/workflows/gwion.yml b/.github/workflows/gwion.yml
index 01fd8936c5c471b0b96e0db34629daf17293ba42..57fc0e0004536ff5b32738dd359b374a4ca0edac 100644 (file)
--- 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: