diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8ed7bd54..86776efa 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -3,10 +3,14 @@ name: CI on: + # always run CI on pushes to PRs and to the `main` branch pull_request: - workflow_dispatch: push: branches: ["main"] + # allow manually triggering CI. + workflow_dispatch: + # enable merge queue. + merge_group: env: # disable incremental compilation.