Joachim Wiberg b330c6c70d .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-15 19:12:51 +02:00

..

ISSUE_TEMPLATE

.github: introduce issue templates

2024-05-16 13:32:35 +02:00

workflows

.github: prevent duplicate builds when ci:main label is added to PRs

2025-09-15 19:12:51 +02:00

CHECKLIST.md

.github: remember to sync tags

2024-11-08 18:38:50 +01:00

CODE-OF-CONDUCT.md

Import a general CoC for project

2023-01-11 17:58:35 +01:00

CONTRIBUTING.md

doc: sync dev-guide and contributing guidelines

2024-10-28 11:04:49 +01:00

pull_request_template.md

.github: update pull request template

2024-10-21 10:09:39 +02:00

SECURITY.md

.github: add security policy (SECURITY.md)

2025-02-25 10:04:06 +01:00

SUPPORT.md

Update support info, company name change

2025-01-29 12:32:48 +01:00