Drop duplicated `$`

Signed-off-by: Josh Soref <2119212+jsoref@users.noreply.github.com>
pull/5756/head
Josh Soref 2022-09-25 17:48:42 -04:00 committed by Brad Fitzpatrick
parent b1867457a6
commit 7686446c60
1 changed files with 1 additions and 1 deletions

View File

@ -2,7 +2,7 @@ name: CIFuzz
on: [pull_request]
concurrency:
group: ${{ github.workflow }}-$${{ github.head_ref || github.run_id }}
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs: