]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Get ref
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 20 Feb 2020 11:36:12 +0000 (12:36 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Thu, 20 Feb 2020 11:36:12 +0000 (12:36 +0100)
.github/workflows/coverage.yml

index a4d4824d3c48e2741b519f60a953a1e1a96d236e..a21ecea53e66c92dcb8c9884e768b79dedc8f969 100644 (file)
@@ -64,6 +64,7 @@ jobs:
         while true
         do wget https://badgen.net/badge/coverage/$COV_NUM/$COLOR -O gwion-coverage-report/badge.svg && break
         done
+        echo ref:${{ github.event.ref }}
         mkdir gwion-coverage-report/html/test
         cp gwion-coverage-report/html/*.html gwion-coverage-report/html/test