From: Jérémie Astor Date: Sun, 16 Feb 2020 23:53:27 +0000 (+0100) Subject: :wrench: Update X-Git-Tag: nightly~1884 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=14f191fd663612b05d0baf26bf86ae21f2642c08;p=gwion.git :wrench: Update --- diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 190faa1f..892588ec 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -62,7 +62,7 @@ jobs: - name: Push Report run: | - git rev-parse --abbrev-ref HEAD) = "master" ] + git rev-parse --abbrev-ref HEAD [ $(git rev-parse --abbrev-ref HEAD) = "master" ] && echo lol [ $(git rev-parse --abbrev-ref HEAD) = "master" ] || exit 0 cd gwion-coverage-report