message: fix pull_request_target with cancel-in-progress
  With pull_request_target, the baseline ref is always the base branch,
  so we need a different way to figure out a unique PR identifier
diff: @@ -3,7 +3,7 @@ on:
  types: [opened,synchronize]
  name: OnSyncPR
  concurrency:
  - group: ${{ github.workflow }}-${{ github.ref }}
  + group: ${{ github.workflow }}-${{ github.event.pull_request.number }}
  cancel-in-progress: true
  jobs:
  check-format:
  