zed/.github/workflows
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
..
ci.yml Do not run the same workflow concurrently on non-main branches 2023-12-06 22:19:48 +02:00
publish_collab_image.yml Add docker system prune command 2023-08-23 14:54:39 -04:00
randomized_tests.yml Update checkout actions 2023-07-12 22:18:37 +03:00
release_actions.yml Format YAML 2023-11-02 09:05:29 -04:00
release_nightly.yml Use distinct version for zed2, append git hash to its nightly version 2023-12-06 22:04:45 +02:00