]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Build name formatting
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 5 May 2020 21:10:01 +0000 (23:10 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 5 May 2020 21:10:01 +0000 (23:10 +0200)
.github/workflows/windows.yml

index de038f634aa4fc779c79e30c880f3ed9e1dc8967..8a7923e05952bfd54d6f0035fefb43768cb55aaf 100644 (file)
@@ -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: