From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Tue, 5 May 2020 21:10:01 +0000 (+0200)
Subject: :wrench: Build name formatting
X-Git-Tag: nightly~1671
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=fd1de18619923e4e6cf414e06abb10a36a6fbdae;p=gwion.git

:wrench: Build name formatting
---

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index de038f63..8a7923e0 100644
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -8,7 +8,7 @@ on:
 
 jobs:
   build:
-    name: Windows ${{ matrix.double && 'double' || 'float'}}
+    name: [Windows] ${{ matrix.double && 'double' || 'float'}}
     runs-on: windows-latest
     if: "!contains(github.event.head_commit.message, '[skip ci]')"
     strategy: