Enable merge queue (#1129)

line · Oct 30, 2023 · 5ef384b · 5ef384b
1 parent 507a0dc
commit 5ef384b
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/gradle.yml b/.github/workflows/gradle.yml
@@ -8,7 +8,11 @@
 # Gradle Deamon:
 # Disabled via appending ~/.gradle/gradle.properties
 name: CI
-on: [ push, pull_request ]
+on:
+ push:
+ pull_request:
+ merge_group:
+
 jobs:
  test:
  name: test (JDK ${{ matrix.java }})