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