From: Jérémie Astor Date: Thu, 20 Feb 2020 12:37:26 +0000 (+0100) Subject: :wrench: url X-Git-Tag: nightly~1843 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=e3a7ba002ac5a00d78866d180582e8a03f9638ed;p=gwion.git :wrench: url --- diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index dab2ede5..3b02ee9d 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -67,9 +67,10 @@ jobs: branch=$(basename ${{ github.event.ref }}) mkdir -p gwion-coverage-report/html/$branch mv *.html gwion-coverage-report/html/$branch - for a in ls gwion-coverage-report/html/*/ + cd gwion-coverage-report/html/ + for a in */ do echo " * [$(basename $a)](https://fennecdjay.github.com/gwion-coverage-report/$(basename $a))" - done > gwion-coverage-report/html/README.md + done > README.md - name: Push Report if: github.event_name == 'push'