Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Prevent concurrent workflow runs on the same PR
The previous concurrency key mostly did this, but did not consider that the PR's ref changes when a pull request is merged. In practice, this meant that closing/merging the PR shortly shortly after updating it would trigger two workflow runs. Only the latest run (cleanup) should continue.
- Loading branch information