diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 18724a2df3..c8a1a0e21c 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,6 +2,7 @@ name: CI on: pull_request: {} + merge_group: { types: [checks_requested] } push: { branches: [master] } permissions: diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 32d9d4ea86..40522c78c5 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -1,6 +1,8 @@ name: Lint -on: [pull_request] +on: + pull_request: {} + merge_group: { types: [checks_requested] } permissions: contents: read