Priyank Patel cbf1404c2d github-actions: Cancel previous runs on pushes to forks and PRs. ... It only cancel previous runs on forks or for pull request builds and does not run for zulip/zulip repo pushes. It finishes pretty quickly (under 1 minute) so it fine to have it as a workflow rather than to add a new step under every single job to cancel it's previous runs. The only downside to this is that GitHub creates a notification for the cancelled job just like it does for failed jobs!!!		2020-08-04 14:32:03 -07:00
..
workflows	github-actions: Cancel previous runs on pushes to forks and PRs.	2020-08-04 14:32:03 -07:00
pull_request_template.md	github: Suggest GIFs too in PR template.	2018-02-16 09:59:22 -08:00