Skip to content

ci(ci): use concurrency in pull requests - #3973

Merged
mcollina merged 1 commit into
mainfrom
ci/concurrency
Jun 8, 2022
Merged

ci(ci): use concurrency in pull requests#3973
mcollina merged 1 commit into
mainfrom
ci/concurrency

Conversation

@Fdawgs

@Fdawgs Fdawgs commented Jun 7, 2022

Copy link
Copy Markdown
Member

See https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#concurrency, this allows a subsequently queued workflow run to interrupt previous runs in PRs.

As an example: You open a PR and the CI workflow starts running. You commit another change to that PR, however you have to wait for the CI workflow running on that initial PR commit to finish before it will test your new commit.

With concurrency it will cancel that already running workflow and start up the new one.

This should save time when making PRs with multiple commits.

Checklist

@mcollina mcollina left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@mcollina
mcollina merged commit 92fa069 into main Jun 8, 2022
@mcollina
mcollina deleted the ci/concurrency branch June 8, 2022 14:38
@github-actions

github-actions Bot commented Jun 9, 2023

Copy link
Copy Markdown

This pull request has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Jun 9, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants