Cancel workflows when pr is force merged/closed#508
Conversation
|
[APPROVALNOTIFIER] This PR is APPROVED This pull-request has been approved by: yhmo The full list of commands accepted by this bot can be found here. The pull request process is described here DetailsNeeds approval from an approver in each of these files:
Approvers can indicate their approval by writing |
There was a problem hiding this comment.
Pull request overview
This PR extends the existing “cleanup PR caches” workflow so that when a pull request is closed it also attempts to cancel still-running GitHub Actions workflow runs associated with that PR, in addition to deleting PR-scoped caches.
Changes:
- Add a “Cancel PR workflow runs” step to cancel queued/in-progress PR workflow runs when a PR is closed.
- Rename the cleanup job to reflect broader “actions state” cleanup (runs + caches).
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## master #508 +/- ##
===========================================
+ Coverage 53.47% 77.75% +24.27%
===========================================
Files 52 304 +252
Lines 4432 13654 +9222
Branches 0 1325 +1325
===========================================
+ Hits 2370 10616 +8246
- Misses 2062 2929 +867
- Partials 0 109 +109 🚀 New features to boost your workflow:
|
Signed-off-by: yhmo <yihua.mo@zilliz.com>
No description provided.