diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 8f0bcb7b96..4a67996cec 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -4,6 +4,7 @@ on: push: branches: - master + - llvm16 concurrency: # Cancels pending runs when a PR gets updated. group: ${{ github.head_ref || github.run_id }}-${{ github.actor }}