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