#63974 closed enhancement (fixed)
GitHub CI: update PR workflow to cancel outdated jobs on push
| Reported by: | mascguy (Christopher Nielsen) | Owned by: | mascguy (Christopher Nielsen) |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | server/hosting | Version: | 2.7.1 |
| Keywords: | github ci | Cc: | neverpanic (Clemens Lang), catap (Kirill A. Korinsky), mojca (Mojca Miklavec) |
| Port: |
Description
Presently, whenever code is pushed for a PR, a new CI job is created. However, any previous job(s) continue to run (or remain queued), which wastes precious CI resources.
As of this writing, GitHub Actions now appear to support the ability to automatically cancel previous jobs, when a subsequent push occurs.
It's not 100% clear what's needed for our current workflow setup, but some Googling suggested the following:
Change History (4)
comment:1 Changed 3 years ago by mascguy (Christopher Nielsen)
| Cc: | neverpanic added |
|---|
comment:2 Changed 3 years ago by mascguy (Christopher Nielsen)
| Cc: | catap added |
|---|---|
| Owner: | changed from admin@… to mascguy |
| Status: | new → assigned |
comment:3 Changed 3 years ago by catap (Kirill A. Korinsky)
| Resolution: | → fixed |
|---|---|
| Status: | assigned → closed |
comment:4 Changed 3 years ago by mojca (Mojca Miklavec)
| Cc: | mojca added |
|---|
Note: See
TracTickets for help on using
tickets.
In b393b525915330151c02afb7d723ee53d65c4c6f/macports-ports (master):