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

index dab2ede566bafa5cae1ec14d4fef329c027d54d5..3b02ee9d8005bbcf7864201bbb0d0f0234efedd4 100644 (file)
@@ -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'