Skip to content

Conversation

@phil-opp
Copy link
Collaborator

@phil-opp phil-opp commented Sep 3, 2025

Our CI takes quite a bit of time and our CI runners are limited. To minimize resource usage, this PR auto-cancels previous CI runs when new commits are pushed to a branch or pull request. So only the latest commit is run on the CI.

@phil-opp phil-opp force-pushed the ci-auto-cancel-outdated branch from b990501 to 20bb8bd Compare September 3, 2025 13:59
@phil-opp
Copy link
Collaborator Author

phil-opp commented Sep 3, 2025

Unfortunately we still get notifications when a run is auto-canceled and there does not seem a way to ignore it: https://github.com/orgs/community/discussions/13015 . I guess we have to live with that until GitHub provides a way to silence notifications in this case.

@phil-opp phil-opp requested a review from haixuanTao September 3, 2025 16:54
@phil-opp phil-opp force-pushed the ci-auto-cancel-outdated branch from a5ac66f to 15ba8ac Compare September 17, 2025 13:30
@phil-opp phil-opp merged commit c6b288c into main Sep 17, 2025
158 checks passed
@phil-opp phil-opp deleted the ci-auto-cancel-outdated branch September 17, 2025 15:44
phil-opp added a commit to dora-rs/dora-hub that referenced this pull request Sep 17, 2025
@phil-opp
Copy link
Collaborator Author

Cherry-picked to dora-rs/node-hub in dora-rs/dora-hub@43f6142

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.

3 participants