fix: prevent badge workflow push rejection on concurrent runs (#151)

Add git pull --rebase before push to handle cases where main moved
between checkout and push (e.g., two Docker builds triggering badge
updates simultaneously). Also add concurrency group to cancel
duplicate runs.
This commit is contained in:
Daniel Volz
2026-02-09 21:09:45 +01:00
committed by GitHub
parent 399d63caec
commit e335729399
+8
View File
@@ -10,6 +10,11 @@ on:
permissions:
contents: write
# Prevent parallel badge workflows from racing each other
concurrency:
group: update-test-badges
cancel-in-progress: true
jobs:
update-badges:
name: Update Test Count Badges
@@ -99,5 +104,8 @@ jobs:
echo "No badge changes to commit"
else
git commit -m "chore: update test count badges [skip ci]"
# Rebase on latest main to avoid push rejection when concurrent
# badge workflows or other [skip ci] commits land between checkout and push
git pull --rebase origin main
git push
fi