Skip to content

Conversation

phip1611
Copy link
Member

  • cancel obsolete runs automatically
  • streamline CI file

Checklist

  • Sensible git history (for example, squash "typo" or "fix" commits). See the Rewriting History guide for help.
  • Update the changelog (if necessary)

The idea here is to cancel all runs that are in progress, when a new push to a branch
happens. Typically, a pipeline is invalid as soon as changes are merged. A new pipeline
will start anyway.

To save computing time, and to prevent users from many expected "pipeline has failed"
messages, this is beneficial.

The impact is especially visible if you do frequent pushes in a short period of time.

More info: https://stackoverflow.com/questions/66335225/how-to-cancel-previous-runs-in-the-pr-when-you-push-new-commitsupdate-the-curre
@nicholasbishop nicholasbishop added this pull request to the merge queue Aug 14, 2024
Merged via the queue into rust-osdev:main with commit 1a0f27b Aug 14, 2024
13 checks passed
@phip1611 phip1611 deleted the ci branch August 14, 2024 18:54
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.

2 participants