From: Chase <44284917+TotallyNotChase@users.noreply.github.com> Date: Sun, 4 Oct 2020 16:37:39 +0000 (+0800) Subject: :wrench: Fix branchname resolution during report generation X-Git-Tag: nightly~1244^2^2~10 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=1407fcb2ce500116c38c763e5e3631c1a1dd2a02;p=gwion.git :wrench: Fix branchname resolution during report generation --- diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 0ae18b50..8cfa34f7 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -53,7 +53,13 @@ jobs: COV_NUM=${COV_TXT: : -1} echo $COV_NUM > gwion-coverage-report/coverage_num.txt sed -i 's//