From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Tue, 18 Feb 2020 22:18:28 +0000 (+0100)
Subject: :wrench: check GITHUB_REF
X-Git-Tag: nightly~1869
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=fa51b11e7fd353a5e07df382be63481bdcf906ac;p=gwion.git

:wrench: check GITHUB_REF
---

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 6e24f76b..2c8f6c64 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -46,6 +46,7 @@ jobs:
         rm -f gwion-coverage-report/*.html
 
     - name: Generate Report
+      if: github.event_name == 'push'
       run: |
         printf '# Gwion coverage\n```\n' > gwion-coverage-report/README.md
         gcovr -s --filter '.*\.c$' src >> gwion-coverage-report/README.md
@@ -65,6 +66,7 @@ jobs:
         done
 
     - name: Push Report
+      if: github.event_name == 'push'
       run: |
         cd gwion-coverage-report
         git config --local user.email "action@github.com"
@@ -79,4 +81,4 @@ jobs:
         git commit -m "Update html report"
         git push origin :gh-pages || true
         git subtree push --prefix html origin gh-pages
-        echo $GITHUB_EVENT_NAME
+        echo $GITHUB_EVENT_NAME $GITHUB_REF