We're having issues with the docker publish workflow when we merge a few PRs at nearly the same time. We can avoid this issue by implementing concurrency on the workflow itself. Ref https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#concurrency