From 8897c3b7710039e71c33f4ae160db98b89bb8bcc Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Mon, 17 Feb 2020 20:47:46 +0100 Subject: [PATCH] use html dir --- .github/workflows/coverage.yml | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 31409176..7fd076af 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -66,10 +66,6 @@ jobs: - name: Push Report run: | - echo ${{ github.GITHUB_REF }} - 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 git config --local user.email "action@github.com" git config --local user.name "GitHub Action" -- 2.43.0