[PATCH] Add cancel-in-progress concurrency block to PR-triggered consumer workflows (#53)

## Summary
- Adds a `concurrency:` block to `CheckCompatBounds.yml`, `CodeQL.yml`,
`FormatCheck.yml`, `IntegrationTest.yml`, and `VersionCheck.yml` so a
new push to a PR cancels the prior in-flight run for that workflow.
- Matches the behavior already present in `Tests.yml` and
`Documentation.yml`. Without this, redundant CI runs accumulate on rapid
pushes to a PR.
- `cancel-in-progress` is gated on `refs/pull/`, so cancellation only
fires on PR refs and never on `main`/tag pushes.

Co-authored-by: ITensorBot <278814285+ITensorBot@users.noreply.github.com>

Author: ITensorBot

.github/workflows/CheckCompatBounds.yml

@@ -1,6 +1,9 @@
 name: "CheckCompatBounds"
 on:
   pull_request: ~
+concurrency:
+  group: "${{ github.workflow }}-${{ github.ref }}"
+  cancel-in-progress: "${{ startsWith(github.ref, 'refs/pull/') }}"
 permissions:
   contents: "read"
 jobs:

.github/workflows/CodeQL.yml

@@ -3,6 +3,9 @@ on:
   pull_request:
     branches:
       - "main"
+concurrency:
+  group: "${{ github.workflow }}-${{ github.ref }}"
+  cancel-in-progress: "${{ startsWith(github.ref, 'refs/pull/') }}"
 permissions:
   contents: "read"
   security-events: "write"

.github/workflows/FormatCheck.yml

@@ -6,6 +6,9 @@ on:
       - "synchronize"
       - "reopened"
       - "ready_for_review"
+concurrency:
+  group: "${{ github.workflow }}-${{ github.ref }}"
+  cancel-in-progress: "${{ startsWith(github.ref, 'refs/pull/') }}"
 permissions:
   contents: "read"
 jobs:

.github/workflows/IntegrationTest.yml

@@ -11,6 +11,9 @@ on:
       - "reopened"
       - "ready_for_review"
       - "converted_to_draft"
+concurrency:
+  group: "${{ github.workflow }}-${{ github.ref }}"
+  cancel-in-progress: "${{ startsWith(github.ref, 'refs/pull/') }}"
 permissions:
   actions: "read"
   contents: "read"

.github/workflows/VersionCheck.yml

@@ -1,6 +1,9 @@
 name: "VersionCheck"
 on:
   pull_request: ~
+concurrency:
+  group: "${{ github.workflow }}-${{ github.ref }}"
+  cancel-in-progress: "${{ startsWith(github.ref, 'refs/pull/') }}"
 permissions:
   contents: "read"
   pull-requests: "read"