diff options
Diffstat (limited to '.github/workflows/coverity.yml')
| -rw-r--r-- | .github/workflows/coverity.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index bb6a805..112678f 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml | |||
| @@ -7,7 +7,7 @@ on: | |||
| 7 | - cron: "0 0 * * *" # At 00:00 daily. | 7 | - cron: "0 0 * * *" # At 00:00 daily. |
| 8 | 8 | ||
| 9 | concurrency: | 9 | concurrency: |
| 10 | group: "${{ github.workflow }}-${{ github.ref }}" | 10 | group: "${{ github.workflow }}-${{ github.event.number || github.ref }}" |
| 11 | cancel-in-progress: true | 11 | cancel-in-progress: true |
| 12 | 12 | ||
| 13 | jobs: | 13 | jobs: |