]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Add (linux) release action. indent
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sat, 8 Aug 2020 13:21:03 +0000 (15:21 +0200)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sat, 8 Aug 2020 13:21:03 +0000 (15:21 +0200)
.github/workflows/linux-release.yml

index bfbea0e0697167bf30cc758ec9512a94c10837c1..db37752c114c80d503d87e43513af97e3d00b7a9 100644 (file)
@@ -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]')"