:wrench: Coverage cleaning

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index a84ad3dc8f4126b5a6282a12bf4765e2408f2e54..13c35013e53a58beaef93a154e24a1555193c6b8 100644 (file)
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -80,11 +80,6 @@ jobs:
         cd gwion-coverage-report
         bash badge.sh
 
-    - name: Make html mail
-      uses: docker://pandoc/core:2.9
-      with:
-        args: "--from gfm --to html -o diff.html gwion-coverage-report/diff.md"
-
     - name: Push Report
       if: github.event_name == 'push'
       run: |