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

index 7fe10861438ca2bd005b16ac96f9c0fcf97af5e9..aef841f6828ccb70516f642d78c3c425aefac9f1 100644 (file)
@@ -5,11 +5,12 @@ on: [ delete ]
 jobs:
   build:
     runs-on: ubuntu-latest
-    if: "startsWith(github.event.ref, 'refs/heads/')"
+#    if: "startsWith(github.event.ref, 'refs/heads/')"
 
     steps:
     - name: Clone report repo
       run: |
+        echo ${{ github.event.ref }}
         git clone https://github.com/fennecdjay/gwion-coverage-report
         cd gwion-coverage-report
         branch=$(basename ${{ github.event.ref }})