From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Thu, 20 Feb 2020 21:53:15 +0000 (+0100)
Subject: :wrench: delete [skip ci]
X-Git-Tag: nightly~1825
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=148f10d89d73bc2f63e47d79defe135e84db19df;p=gwion.git

:wrench: delete [skip ci]
---

diff --git a/.github/workflows/delete.yml b/.github/workflows/delete.yml
index 68797bce..db52c0fa 100644
--- a/.github/workflows/delete.yml
+++ b/.github/workflows/delete.yml
@@ -5,16 +5,14 @@ on: [ delete ]
 jobs:
   build:
     runs-on: ubuntu-latest
-#    if: "startsWith(github.event.ref, 'refs/heads/')"
+    if: "startsWith(github.event.ref_type, 'branch')"
 
     steps:
     - name: Clone report repo
       run: |
-        echo ${{ github.event.ref_type }}
-        echo ${{ github.event.ref }}
         git clone https://github.com/fennecdjay/gwion-coverage-report
         cd gwion-coverage-report
-        branch=$(basename ${{ github.event.ref }})
+        branch=${{ github.event.ref }}
         if [ -d html/$branch ]
         then
           rm -r html/$branch