Use ${{ github.workflow }} for more copy-pasteable concurrency sett…

Use ${{ github.workflow }} for more copy-pasteable concurrency sett… #4633