Skip to content

ci: cancel obsolete runs automatically + streamline #1332

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 2 commits into from
Aug 14, 2024
Merged

ci: cancel obsolete runs automatically + streamline #1332

merged 2 commits into from
Aug 14, 2024

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)
@phip1611
ci: cancel previous runs on further pushes
10cb84c 
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
@phip1611
ci: use ubuntu-latest everywhere
8c2556a
@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
@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
2 participants
@phip1611 @nicholasbishop