From 4178b60680ebb39996ad6987b109a6aef0b0218a Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Tue, 18 Feb 2020 23:38:54 +0100 Subject: [PATCH] :wrench: use mail --- .github/workflows/coverage.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 558fa1f0..5032378d 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -46,7 +46,7 @@ jobs: rm -f gwion-coverage-report/*.html - name: Generate Report - if: github.event_name == 'push' +# if: github.event_name == 'push' run: | printf '# Gwion coverage\n```\n' > gwion-coverage-report/README.md gcovr -s --filter '.*\.c$' src >> gwion-coverage-report/README.md @@ -66,7 +66,7 @@ jobs: done - name: Push Report - if: github.event_name == 'push' && github.event.ref = 'refs/head/master' +# if: github.event_name == 'push' && github.event.ref = 'refs/head/master' run: | cd gwion-coverage-report git config --local user.email "action@github.com" -- 2.43.0