diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index a672bb28..ac93e0c1 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -4,7 +4,8 @@ on: push: branches: - master - pull_request: {} + pull_request: + merge_group: env: # Disable incremental compilation.