]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: branch
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Wed, 19 Feb 2020 17:31:53 +0000 (18:31 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Wed, 19 Feb 2020 17:31:53 +0000 (18:31 +0100)
.github/workflows/coverage.yml

index cabde3eca6c31d3f456fbd9e42391377b0ce8c9f..45d6485c54fc04fde9c6736c3ea9565b320c6342 100644 (file)
@@ -66,7 +66,7 @@ jobs:
         done
 
     - name: Push Report
-      if: github.event_name == 'push' && github.event.ref == 'master'
+      if: github.event_name == 'push'
       run: |
         cd gwion-coverage-report
         git config --local user.email "action@github.com"