Files
infix/.github/workflows
Joachim WibergandRichard Alpe 6272c9c46c .github: prevent duplicate builds when ci:main label is added to PRs
Add concurrency control to trigger workflow to cancel in-progress builds
when new events (like adding ci:main label) occur on the same PR.  This
prevents resource waste from duplicate builds and handles the common
workflow where developers add the ci:main label after PR creation.

Fixes #1154
2025-09-30 10:21:09 +02:00
..
2025-08-26 14:37:13 +02:00
2025-02-12 23:21:08 +01:00
2025-08-26 14:37:13 +02:00