use html dir

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 314091764316a5b50c0744ed7ba92c9cf2bf9f0d..7fd076af023f11e8b643389068b38790426aa4ee 100644 (file)
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -66,10 +66,6 @@ jobs:
 
     - name: Push Report
       run: |
-        echo ${{ github.GITHUB_REF }}
-        git rev-parse --abbrev-ref HEAD
-        [ $(git rev-parse --abbrev-ref HEAD) = "master" ] && echo lol
-        [ $(git rev-parse --abbrev-ref HEAD) = "master" ] || exit 0
         cd gwion-coverage-report
         git config --local user.email "action@github.com"
         git config --local user.name "GitHub Action"