vlakoff 8d1ead4eef Prevent redundant runs and potential concurrency collisions with Merge Queue ... When a PR enters the merge queue, GitHub triggers both a 'merge_group' and a 'push' event. These events might share the same concurrency key as they both reference the temporary 'gh-readonly-queue/' branch. This creates a race condition where the redundant 'push' job could incorrectly cancel the official 'merge_group' run. This commit adds an explicit filter to ignore 'push' events on queue branches, ensuring CI stability and saving runner minutes.		2026-04-30 01:37:01 +02:00
..
workflows	Prevent redundant runs and potential concurrency collisions with Merge Queue	2026-04-30 01:37:01 +02:00
dependabot.yml	Include Cargo deps in Dependabot checks	2025-06-05 10:09:52 -04:00