From fa51b11e7fd353a5e07df382be63481bdcf906ac Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Tue, 18 Feb 2020 23:18:28 +0100 Subject: [PATCH] :wrench: check GITHUB_REF --- .github/workflows/coverage.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 -- 2.43.0