]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Fix coverage
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 20 Feb 2020 21:39:35 +0000 (22:39 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 20 Feb 2020 21:39:35 +0000 (22:39 +0100)
.github/workflows/delete.yml

index a42f063e7efe7f69916876299308931c55310100..7fe10861438ca2bd005b16ac96f9c0fcf97af5e9 100644 (file)
@@ -3,7 +3,6 @@ name: Coverage Report
 on: [ delete ]
 
 jobs:
-  name: Delete obsolete branch
   build:
     runs-on: ubuntu-latest
     if: "startsWith(github.event.ref, 'refs/heads/')"