Fix sync workflow to only trigger on v12.0 pushes and add concurrency control#827

Merged

BenjaminMichaelis merged 3 commits intov12.0from

copilot/fix-76c1b92f-28db-4725-babd-3644dc03b635

Sep 10, 2025

Commits on Aug 24, 2025

Initial plan
Copilot
committed
Update sync workflow to only trigger on v12.0 pushes with concurrency control

Copilot
and
BenjaminMichaelis
committed
Final polish: standardize YAML format to match repository conventions

Copilot
and
BenjaminMichaelis
committed