From 1683a960b874e30e48cf20fba78d6bd28f911123 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=A9mie=20Astor?= Date: Mon, 17 Feb 2020 20:49:28 +0100 Subject: [PATCH] use html dir --- .github/workflows/coverage.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 7fd076af..e425a2f4 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -72,7 +72,7 @@ jobs: git remote set-url origin https://${{ secrets.COVERAGE_TOKEN }}@github.com/fennecdjay/gwion-coverage-report.git git add README.md coverage_num.txt git commit -m "Update coverage" - git push + git push || true git add -f html git commit -m "Update html report" git push origin :gh-pages || true -- 2.43.0