]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Fix coverage
authorfennecdjay <fennecdjay@gwion.tk>
Sun, 8 Nov 2020 13:13:01 +0000 (14:13 +0100)
committerfennecdjay <fennecdjay@gwion.tk>
Sun, 8 Nov 2020 13:13:01 +0000 (14:13 +0100)
.github/workflows/coverage.yml

index 7c6787948c54df0131da6a372e8d381d44da8325..08164c6ff87a6f5b4f211c9c98bcd2e23af1fa7c 100644 (file)
@@ -85,7 +85,7 @@ jobs:
       run: |
         branch=$(basename ${{ github.event.ref }})
         cd gwion-coverage-report
-        cp diff.html html/$branch
+        cp diff.md html/$branch
         git config --local user.email "action@github.com"
         git config --local user.name "GitHub Action"
         git remote set-url origin https://${{ secrets.COVERAGE_TOKEN }}@github.com/Gwion/gwion-coverage-report.git