Opened 3 years ago

Closed 3 years ago

Last modified 3 years ago

#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:

https://docs.github.com/en/actions/learn-github-actions/workflow-syntax-for-github-actions#concurrency

https://docs.github.com/en/actions/learn-github-actions/workflow-syntax-for-github-actions#jobsjob_idconcurrency

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: newassigned

comment:3 Changed 3 years ago by catap (Kirill A. Korinsky)

Resolution: fixed
Status: assignedclosed

In b393b525915330151c02afb7d723ee53d65c4c6f/macports-ports (master):

github ci: cancel outdated jobs on push
Fixes: #63974

comment:4 Changed 3 years ago by mojca (Mojca Miklavec)

Cc: mojca added
Note: See TracTickets for help on using tickets.