diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 75bd4e2fb8..7c841777c9 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -4,6 +4,10 @@ on: push: branches: - master +concurrency: + # Cancels pending runs when a PR gets updated. + group: ${{ github.head_ref || github.run_id }} + cancel-in-progress: true jobs: x86_64-linux-debug: outputs: