From 2608266abc6e6f803d9efe173228c7b1cb0285f9 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Sat, 22 Feb 2020 02:01:39 +0100 Subject: [PATCH] :wrench: trigger --- .github/workflows/coverage.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index c06a2567..998f3aef 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -49,13 +49,12 @@ 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 + bash diff.sh $branch - name: Make badge if: github.event_name == 'push' && github.event.ref == 'refs/heads/master' -- 2.43.0