From dda8003f85d33700990ce421861af59d8f19cbba Mon Sep 17 00:00:00 2001 From: Florian Schmaus Date: Fri, 8 Nov 2024 19:17:38 +0100 Subject: [PATCH] [github] run ci on merge groups --- .github/workflows/ci.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3dfc78a9f9..eb966e34c4 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,9 @@ name: CI -on: [push, pull_request] +on: + push: + pull_request: + merge_group: jobs: build: