Remove concurrency group.

iree-org · Feb 3, 2023 · 5dca39a · 5dca39a
1 parent 39f537c
commit 5dca39a
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -9,13 +9,6 @@ name: CI
 on:
   pull_request:
 
-concurrency:
-  # A PR number if a pull request and otherwise the commit hash. This cancels
-  # queued and in-progress runs for the same PR (presubmit) or commit
-  # (postsubmit).
-  group: ${{ github.event.number || github.sha }}
-  cancel-in-progress: true
-
 env:
   GIT_SSH_COMMAND: "ssh -v"
   GIT_TRACE: 1