Daniel Volz e335729399 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.

2026-02-09 21:09:45 +01:00

..

agents

chore: update CI workflow and agent configuration (#143)

2026-02-08 22:17:03 +01:00

codeql

ci: switch to CodeQL Advanced Setup

2025-12-30 12:49:24 +01:00

ISSUE_TEMPLATE

docs: add GitHub issue templates

2025-12-30 14:07:51 +01:00

workflows

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

2026-02-09 21:09:45 +01:00

copilot-instructions.md

ci: fix release workflow ordering and remove redundant workflows (#135)

2026-02-08 16:57:40 +01:00