diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 75bd4e2fb8a8fcc626636b1abec6e6fd7a2c3043..7c841777c9fd95e6e923b082736f2048a7b9fb04 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: