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

index 68797bce1610032775769322b5d4d28d62c4cbf6..db52c0fa3a18abcee3fe7282273ff63418f4aaca 100644 (file)
@@ -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