Skip to content
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.

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

Cancel duplicate CI runs on non-main branches #1996

Merged
merged 1 commit into from
Dec 11, 2024
Merged

Conversation

JamesHinshelwood
Copy link
Contributor

With this change, if someone pushes a new change to a branch, the previous CI runs will be cancelled in favour of running again on the latest change. This should relieve some pressure on our CI runners.

Also, I included a small change to avoid spurious failures from the "Archive closed PR branch" workflow.

Copy link
Contributor

github-actions bot commented Dec 10, 2024

🐰 Bencher Report

Branchbetter-ci
Testbedself-hosted
Click to view all benchmark results
BenchmarkLatencyBenchmark Result
nanoseconds (ns)
(Result Δ%)
Upper Boundary
nanoseconds (ns)
(Limit %)
process-empty/process-empty📈 view plot
🚷 view threshold
9,584,700.00
(+3.22%)
11,012,881.90
(87.03%)
produce-full/produce-full📈 view plot
🚷 view threshold
2,585,100,000.00
(+0.39%)
2,729,477,414.81
(94.71%)
🐰 View full continuous benchmarking report in Bencher

With this change, if someone pushes a new change to a branch, the
previous CI runs will be cancelled in favour of running again on
the latest change. This should relieve some pressure on our CI
runners.

Also, I included a small change to avoid spurious failures from
the "Archive closed PR branch" workflow.
@JamesHinshelwood JamesHinshelwood added this pull request to the merge queue Dec 11, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 11, 2024
@JamesHinshelwood JamesHinshelwood added this pull request to the merge queue Dec 11, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 11, 2024
@JamesHinshelwood JamesHinshelwood added this pull request to the merge queue Dec 11, 2024
Merged via the queue into main with commit 59f299a Dec 11, 2024
6 checks passed
@JamesHinshelwood JamesHinshelwood deleted the better-ci branch December 11, 2024 18:57
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