Concurrency-Gruppe hinzufügen, um doppelte Workflow-Läufe zu verhindern

Verschifft

16. April 2026 um 17:15 UTC

Autor

Kamo

Ausschuss

c757270

Wenn ein Push einen Workflow auslöst und workflow_dispatch ebenfalls gefeuert wird (oder zwei Drücke kommen in schneller Folge), beide Läufe würden ausführen gleichzeitig. Hinzufügen einer Concurrency-Gruppe storniert jede in-Progress laufen für den gleichen Workflow+Branch, wenn ein neues startet.