From: Jérémie Astor Date: Tue, 18 Feb 2020 22:11:50 +0000 (+0100) Subject: :wrench: event name X-Git-Tag: nightly~1870 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=9e6ab367adec0b2656b0b92f8badfb1f10444908;p=gwion.git :wrench: event name --- diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 919e43f8..6e24f76b 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -79,3 +79,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