Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
tools: github actions: prevent multiple concurrent workflow runs on t…
…he same branch/ref - cancel other pending/in-progress workflows if a new commit is pushed to the ref - ref. https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#concurrency
- Loading branch information