]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: event name
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 18 Feb 2020 22:11:50 +0000 (23:11 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Tue, 18 Feb 2020 22:11:50 +0000 (23:11 +0100)
.github/workflows/coverage.yml

index 919e43f80aa807a7e5f8eb2ec6d4d588227df4d6..6e24f76beb4132f8e5e2cca171f97eac29a20e64 100644 (file)
@@ -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