37d5a23a64
Before this commit GitHub Action runs that were triggered by a PR were not canceled when updates were made to the same PR. This lead to even more clogging of our pipelines and not enough runners being available. This changes the behavior in a way that whenever a PR gets updated all still-in-progress runs get canceled and new runs get spawned. |
||
|---|---|---|
| .. | ||
| check.yml | ||
| coverity.yml | ||
| create-tag.yml | ||
| generate.yml | ||
| pr_best_practices.yml | ||
| propagate_to_manifestdb.yml | ||
| release.yml | ||
| stale-cleanup.yml | ||
| test.yml | ||
| trigger-gitlab.yml | ||