Anders Kaseorg 4a11642cee ci: Replace cancel-previous-runs job with concurrency configuration. ... Using ‘github.head_ref || github.run_id’ makes this only cancel in-progress jobs for pull_request events. https://docs.github.com/en/actions/using-jobs/using-concurrency Signed-off-by: Anders Kaseorg <anders@zulip.com>		2022-07-05 13:08:06 -07:00
..
workflows	ci: Replace cancel-previous-runs job with concurrency configuration.	2022-07-05 13:08:06 -07:00
FUNDING.yml	docs: Create FUNDING.yml.	2021-04-07 20:15:29 -07:00
pull_request_template.md	github: Add visible link in pull request template.	2022-04-28 15:29:37 -07:00