[MacPorts] #63974: GitHub CI: update PR workflow to cancel outdated jobs on push
MacPorts
noreply at macports.org
Sun Nov 21 16:06:51 UTC 2021
#63974: GitHub CI: update PR workflow to cancel outdated jobs on push
-----------------------------+-----------------------
Reporter: mascguy | Owner: mascguy
Type: enhancement | Status: closed
Priority: Normal | Milestone:
Component: server/hosting | Version: 2.7.1
Resolution: fixed | Keywords: github ci
Port: |
-----------------------------+-----------------------
Changes (by catap):
* status: assigned => closed
* resolution: => fixed
Comment:
In [changeset:"b393b525915330151c02afb7d723ee53d65c4c6f/macports-ports"
b393b525915330151c02afb7d723ee53d65c4c6f/macports-ports] (master):
{{{
#!ConfigurableCommitTicketReference repository="macports-ports"
revision="b393b525915330151c02afb7d723ee53d65c4c6f"
github ci: cancel outdated jobs on push
Fixes: https://trac.macports.org/ticket/63974
}}}
--
Ticket URL: <https://trac.macports.org/ticket/63974#comment:3>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list