From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Sat, 8 Aug 2020 13:21:03 +0000 (+0200)
Subject: :wrench: Add (linux) release action. indent
X-Git-Tag: nightly~1387
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=47ddd93fc4928eac3b39b86ad80bf247b573e753;p=gwion.git

:wrench: Add (linux) release action. indent
---

diff --git a/.github/workflows/linux-release.yml b/.github/workflows/linux-release.yml
index bfbea0e0..db37752c 100644
--- a/.github/workflows/linux-release.yml
+++ b/.github/workflows/linux-release.yml
@@ -8,7 +8,7 @@ on:
 
 jobs:
   build:
-    name: \[ Linux \] ${{ matrix.double && 'double' || 'float '}} (${{ matrix.cc }})
+    name: Linux Release
     runs-on: ubuntu-latest
     if: "!contains(github.event.head_commit.message, '[skip ci]')"