Skip to content

ci: reduce duplicate runs and isolate concurrency groups - #66

Open
tomaszbk wants to merge 1 commit into
vlang:masterfrom
tomaszbk:feat/ci-queue-relief
Open

tomaszbk wants to merge 1 commit into
vlang:masterfrom
tomaszbk:feat/ci-queue-relief

Conversation

@tomaszbk

@tomaszbk tomaszbk commented Oct 7, 2026

Copy link
Copy Markdown

CI currently runs on every branch push and on pull requests, and scheduled checks share the master branch's concurrency group. Restrict push-triggered CI to master, retain checks for every PR, and add workflow_dispatch for manual checks on a selected ref.

Include the event in each concurrency group, use the commit SHA for master pushes and the run ID for manual checks, and keep PR runs grouped by PR ref with in-progress cancellation. This preserves checks for each master commit and separates scheduled and manual checks from push runs. The existing schedule, five-platform matrix, steps, and 30-minute job timeout are unchanged.

Validation: actionlint 1.7.12 and git diff --check passed. This scheduling change reduces duplicate work and cross-event serialization; runner availability is unchanged.

@tomaszbk
tomaszbk marked this pull request as ready for review October 7, 2026 23:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant