]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Update
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 23:57:54 +0000 (00:57 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 23:57:54 +0000 (00:57 +0100)
.github/workflows/coverage.yml

index 892588ec6e7afc0dbdfd6a4bf13f28f8f1810af1..990f929b47d8a8b007183fc25695a7bf3d841c57 100644 (file)
@@ -62,6 +62,7 @@ jobs:
 
     - name: Push Report
       run: |
+        echo ${{ github.GITHUB_REF }}
         git rev-parse --abbrev-ref HEAD
         [ $(git rev-parse --abbrev-ref HEAD) = "master" ] && echo lol
         [ $(git rev-parse --abbrev-ref HEAD) = "master" ] || exit 0