Some time I need to cancel bors merge execution but the catch is cancelling bors on a PR doesn't cancel already started GitHub pipelines.
How can I automatically stop already started GitHub pipelines when I cancel the bors on the PR?
Some time I need to cancel bors merge execution but the catch is cancelling bors on a PR doesn't cancel already started GitHub pipelines.
How can I automatically stop already started GitHub pipelines when I cancel the bors on the PR?