From 4b9a3014eef243658a6e1a0c98d681e477960585 Mon Sep 17 00:00:00 2001 From: fennecdjay Date: Sat, 7 Nov 2020 20:31:56 +0100 Subject: [PATCH] :wrench: Coverage cleaning --- .github/workflows/coverage.yml | 5 ----- 1 file changed, 5 deletions(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index a84ad3dc..13c35013 100644 --- 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: | -- 2.43.0