message: build: Cancel in-progress jobs for CodeQL action
diff: @@ -20,6 +20,12 @@ on:
  schedule:
  - cron: '40 3 * * 0'
  +# Cancel in progress workflows on pull_requests.
  +# https://docs.github.com/en/actions/using-jobs/using-concurrency#example-using-a-fallback-value
  +concurrency:
  + group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
  + cancel-in-progress: true
  +
  jobs:
  analyze:
  name: Analyze
  