From 1c13f5fd6af6b2b49721a4a1ee27e1d26e1c0787 Mon Sep 17 00:00:00 2001 From: Johannes Nussbaum <39048939+jnussbaum@users.noreply.github.com> Date: Thu, 4 Jan 2024 12:46:22 +0100 Subject: [PATCH] chore(ci): set up merge queue (#717) --- .github/workflows/check-pr-title.yml | 1 + .github/workflows/tests-on-push.yml | 1 + 2 files changed, 2 insertions(+) diff --git a/.github/workflows/check-pr-title.yml b/.github/workflows/check-pr-title.yml index c41cc4670..00fb94486 100644 --- a/.github/workflows/check-pr-title.yml +++ b/.github/workflows/check-pr-title.yml @@ -3,6 +3,7 @@ name: PR-Title on: + merge_group: pull_request: types: [opened, edited, synchronize, reopened] diff --git a/.github/workflows/tests-on-push.yml b/.github/workflows/tests-on-push.yml index 2ea70238d..a06f6e51e 100644 --- a/.github/workflows/tests-on-push.yml +++ b/.github/workflows/tests-on-push.yml @@ -4,6 +4,7 @@ name: Tests on Push on: + merge_group: push: branches-ignore: - main