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

index 5e9dbf186c25bee6629f5cc34f989bcdbac77269..190faa1f3b7c6eba573b66bba0b9aeb22be61cd2 100644 (file)
@@ -62,6 +62,8 @@ jobs:
 
     - name: Push Report
       run: |
+        git rev-parse --abbrev-ref HEAD) = "master" ]
+        [ $(git rev-parse --abbrev-ref HEAD) = "master" ] && echo lol
         [ $(git rev-parse --abbrev-ref HEAD) = "master" ] || exit 0
         cd gwion-coverage-report
         git config --local user.email "action@github.com"