From 5515a37002107d241c2f33803afdc3af451d15ad Mon Sep 17 00:00:00 2001 From: Rob Ede Date: Mon, 6 Nov 2023 23:53:36 +0000 Subject: [PATCH] ci: run on merge groups --- .github/workflows/ci.yml | 1 + .github/workflows/lint.yml | 4 +++- 2 files changed, 4 insertions(+), 1 deletion(-) 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