From 026647e961c5ad3d234f475608c3916337190756 Mon Sep 17 00:00:00 2001 From: Adrien Crivelli Date: Tue, 12 Dec 2023 09:45:05 +0100 Subject: [PATCH] Allow merge queue --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index c7d02f4734..b0d00f761a 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -1,5 +1,5 @@ name: main -on: [ push, pull_request ] +on: [ push, pull_request, merge_group ] jobs: test: runs-on: ubuntu-latest