From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Tue, 5 May 2020 21:06:39 +0000 (+0200)
Subject: :wrench: Set coverage build name
X-Git-Tag: nightly~1673
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=6a87042a424e11f5d21b7c4d784d95fdbe7208cc;p=gwion.git

:wrench: Set coverage build name
---

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index e942e08b..6845509f 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -13,6 +13,7 @@ on:
 
 jobs:
   build:
+    name: Coverage
     runs-on: ubuntu-latest
     if: "!contains(github.event.head_commit.message, '[skip ci]')"