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

index 5e6f090110d1843207eefdafc57d6d1a98ce937c..17fb239e378a722ffc7207ec83415fa1db5c9df2 100644 (file)
@@ -67,7 +67,7 @@ jobs:
         branch=$(basename ${{ github.event.ref }})
         mkdir -p gwion-coverage-report/html/$branch
         mv *.html gwion-coverage-report/html/$branch
-        for a in ls */
+        for a in ls gwion-coverage-report/html/*/
         do echo "  * [$a]($a)"
         done > gwion-coverage-report/html/README.md