| ... | @@ -10,7 +10,7 @@ on: | ... | @@ -10,7 +10,7 @@ on: |
| 10 | # This cancels older workflow runs on pull requests while ensuring that there | 10 | # This cancels older workflow runs on pull requests while ensuring that there |
| 11 | # are no concurrency limits on pushes and manual workflow dispatches. | 11 | # are no concurrency limits on pushes and manual workflow dispatches. |
| 12 | concurrency: | 12 | concurrency: |
| 13 | group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.run_id }} | 13 | group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }} |
| 14 | cancel-in-progress: ${{ github.event_name == 'pull_request' }} | 14 | cancel-in-progress: ${{ github.event_name == 'pull_request' }} |
| 15 | | 15 | |
| 16 | permissions: | 16 | permissions: |