f0c41b6135
# Objective When working on PRs, I'll often find that one of the early CI checks fails, and work on fixing the result, but when I push the earlier commits are still being processed by the CI. This would mean that if a new commit is pushed while another CI process is already running on that branch, the first set of jobs will be cancelled - reducing wasted resources and wait time for CI on the latest commits. ## Solution The solution is simply adding Github's concurrency groups to every relevant workflow. |
||
|---|---|---|
| .. | ||
| action-on-PR-labeled.yml | ||
| ci-comment-failures.yml | ||
| ci.yml | ||
| daily.yml | ||
| dependencies.yml | ||
| docs.yml | ||
| post-release.yml | ||
| release.yml | ||
| validation-jobs.yml | ||
| welcome.yml | ||