Kirill Bulatov ebddb612c8 Do not run the same workflow concurrently on non-main branches (#3518) ... <img width="1376" alt="image" src="https://github.com/zed-industries/zed/assets/2690773/681cca85-e1b9-4a99-8363-60c931ba1393"> For any push (or force-push) into a branch, a separate CI workflow is run. This is rather worker-consuming, esp. given the fact that GitHub will wait for the last job to update PR's status. So cancel every old job for the same branch if it's not `main`. CI run on `main` might catch a regression brought in by specific PR merged, so run CI on every commit due to that. Release Notes: - N/A		2023-12-06 22:35:02 +02:00
..
actions	Bump artifact size limit for CI to 100GB	2023-11-22 15:14:24 +01:00
workflows	Do not run the same workflow concurrently on non-main branches (#3518)	2023-12-06 22:35:02 +02:00
pull_request_template.md	Slim down pull request template	2023-10-10 16:04:31 -04:00