From 8dc42767a81c8156031846c9a76ec5d9460328a7 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Sat, 22 Feb 2020 01:57:16 +0100 Subject: [PATCH] :wrench: change coverage mail --- .github/workflows/coverage.yml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 8fbbb131..c06a2567 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -49,10 +49,13 @@ jobs: cd gwion-coverage-report/ bash old.sh $branch bash summary.sh + bash diff.sh cd .. gcovr --filter '.*\.c$' src > gwion-coverage-report/html/$branch/lines.txt gcovr --filter '.*\.c$' --branches src > gwion-coverage-report/html/$branch/branches.txt mv *.html gwion-coverage-report/html/$branch + cd gwion-coverage-report/ + bash diff.sh - name: Make badge if: github.event_name == 'push' && github.event.ref == 'refs/heads/master' @@ -80,7 +83,7 @@ jobs: - name: Make html mail uses: docker://pandoc/core:2.9 with: - args: "--from gfm --to html -o mail.html gwion-coverage-report/README.md -o mail.html" + args: "--from gfm --to html -o mail.html gwion-coverage-report/diff.md -o mail.html" - name: Send mail uses: dawidd6/action-send-mail@master @@ -90,8 +93,7 @@ jobs: username: ${{ secrets.MAIL_USERNAME }} password: ${{ secrets.MAIL_PASSWORD }} subject: Github Actions job result - body: file://README.md + body: file://mail.html to: ${{ github.event.repository.owner.email }},${{ github.event.pusher.email }} from: Gwion Coverage action - -# content_type: text/html + content_type: text/html -- 2.43.0