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

index 17fb239e378a722ffc7207ec83415fa1db5c9df2..57ce35d469b8f101d4ab2845bcca5f7510a7f037 100644 (file)
@@ -68,7 +68,7 @@ jobs:
         mkdir -p gwion-coverage-report/html/$branch
         mv *.html gwion-coverage-report/html/$branch
         for a in ls gwion-coverage-report/html/*/
-        do echo "  * [$a]($a)"
+        do echo "  * [$basename $a)](htts://fennecdjay.github.com/gwion-coverage-report/$(basename $a))"
         done > gwion-coverage-report/html/README.md
 
     - name: Push Report