From a15dd9d1b60092459336d7d8ab79e0b824cfb617 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Mon, 17 Feb 2020 00:44:42 +0100 Subject: [PATCH] :wrench: Update --- .github/workflows/coverage.yml | 1 + .github/workflows/coverity.yml | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index a9f023a5..21d4b4b4 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -62,6 +62,7 @@ jobs: - name: Push Report run: | + echo ${{ GITHUB_REF }} cd gwion-coverage-report git config --local user.email "action@github.com" git config --local user.name "GitHub Action" diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index a31a4b1b..be15cc44 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -32,7 +32,6 @@ jobs: - name: Submit run: | - echo ${{ GITHUB_REF }} tar czvf gwion.tgz cov-int curl \ --form project=dennecdjay/Gwion \ -- 2.43.0