summaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2025-06-18 17:10:02 -0700
committerGitHub <noreply@github.com>2025-06-18 17:10:02 -0700
commit97f328a669da035025a49d5b322a646bf97340f0 (patch)
tree3bb84fe3f1937aedab29096db5559104d5a2c6ab /.github
parent3cbc500118d27f82c89f401ffb34826264e9cb60 (diff)
Add merge queue CI trigger. (#7485)
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/check-formatting.yml2
-rw-r--r--.github/workflows/ci.yml2
2 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/check-formatting.yml b/.github/workflows/check-formatting.yml
index f4226cd8c..303e53e15 100644
--- a/.github/workflows/check-formatting.yml
+++ b/.github/workflows/check-formatting.yml
@@ -5,6 +5,8 @@ on:
branches: [master]
pull_request:
branches: [master]
+ merge_group:
+ types: [checks_requested]
jobs:
check-formatting:
runs-on: ubuntu-latest
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 52008e28f..cb1782df0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,6 +2,8 @@ name: CI
on:
workflow_dispatch:
+ merge_group:
+ types: [checks_requested]
push:
branches: [master]
pull_request: