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

index e942e08b8941cb55443e242663648616e567ebdb..6845509fc35074c39a727da0e22cc648f197ab3b 100644 (file)
@@ -13,6 +13,7 @@ on:
 
 jobs:
   build:
+    name: Coverage
     runs-on: ubuntu-latest
     if: "!contains(github.event.head_commit.message, '[skip ci]')"