From acec35934b8a41f9b2ed96aac989ea35cdde1c90 Mon Sep 17 00:00:00 2001 From: edvinskis Date: Thu, 23 Jul 2026 10:38:13 +0200 Subject: [PATCH] CI: adjust coverage workflow checkout & push Fetch full repo history for the coverage workflow (fetch-depth: 0) so subsequent git operations have needed refs. Replace the staged-diff check with a --cached check that exits when there are no changes, then commit changes and run a git pull --rebase origin develop before pushing --- .github/workflows/coverage.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index a78efe1..f76e0fc 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -19,6 +19,8 @@ jobs: steps: - name: Checkout code uses: actions/checkout@v6 + with: + fetch-depth: 0 - name: Set up Python 3.13 uses: actions/setup-python@v6 @@ -64,5 +66,7 @@ jobs: git config --local user.name "github-actions[bot]" git config --local user.email "github-actions[bot]@users.noreply.github.com" git add badges/coverage-badge.svg - git diff --staged --quiet || git commit -m "Update coverage badge [skip ci]" + git diff --cached --quiet && exit 0 + git commit -m "Update coverage badge [skip ci]" + git pull --rebase origin develop git push \ No newline at end of file