Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Cancel out of date runs #1661

Open
lcarva opened this issue Apr 12, 2024 · 1 comment
Open

Cancel out of date runs #1661

lcarva opened this issue Apr 12, 2024 · 1 comment

Comments

@lcarva
Copy link

lcarva commented Apr 12, 2024

In a pull request workflow, it is common for the author to modify the changes in the pull request, e.g. push a new commit. When this happens, any previously triggered run is no longer applicable. If any of those are still running, they are mostly wasting resources since their result is thrown out. It would be great if such runs were automatically canceled by PAC.

NOTE: This really only applies to runs from pull request events. Runs from push events, on the other hand, should not be automatically cancelled under the same conditions.

@lcarva
Copy link
Author

lcarva commented Apr 12, 2024

Somewhat related to #957

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

No branches or pull requests

1 participant