From 96c574c2becc5c6745deabe8c21f48c0b9674a94 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Sat, 22 Feb 2020 02:18:10 +0100 Subject: [PATCH] :wrench: trigger --- .github/workflows/coverage.yml | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 5e70d91f..98f9b3a3 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -56,7 +56,6 @@ jobs: cd gwion-coverage-report/ bash diff.sh $branch cat diff.md - cp diff.md html/$branch - name: Make badge if: github.event_name == 'push' && github.event.ref == 'refs/heads/master' @@ -64,9 +63,16 @@ 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 mail.html gwion-coverage-report/diff.md -o mail.html" + - name: Push Report if: github.event_name == 'push' run: | + branch=$(basename ${{ github.event.ref }}) + cp mail.html gwion-coverage-report/html/$branch cd gwion-coverage-report git config --local user.email "action@github.com" git config --local user.name "GitHub Action" @@ -81,11 +87,6 @@ jobs: git subtree push --prefix html origin gh-pages - - name: Make html mail - uses: docker://pandoc/core:2.9 - with: - 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 with: -- 2.43.0