Setup GitHub merge queue (#2045)

PowerShell · Jul 13, 2023 · 712c0f8 · 712c0f8
1 parent 36854aa
commit 712c0f8
Show file tree

Hide file tree

Showing 5 changed files with 19 additions and 7 deletions.
diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml
@@ -8,6 +8,8 @@ on:
     # The branches below must be a subset of the branches above
     branches: [ main ]
     paths-ignore: [ '**/*.md' ]
+  merge_group:
+    types: [ checks_requested ]
   schedule:
     - cron: '00 14 * * *' # Every morning at 7:00am PDT
 

diff --git a/.github/workflows/emacs-test.yml b/.github/workflows/emacs-test.yml
@@ -8,6 +8,8 @@ on:
     # The branches below must be a subset of the branches above
     branches: [ main ]
     paths-ignore: [ '**/*.md' ]
+  merge_group:
+    types: [ checks_requested ]
 
 jobs:
   test:

diff --git a/.github/workflows/vim-test.yml b/.github/workflows/vim-test.yml
@@ -8,6 +8,8 @@ on:
     # The branches below must be a subset of the branches above
     branches: [ main ]
     paths-ignore: [ '**/*.md' ]
+  merge_group:
+    types: [ checks_requested ]
 
 jobs:
   test:

diff --git a/.vsts-ci/azure-pipelines-ci.yml b/.vsts-ci/azure-pipelines-ci.yml
@@ -1,4 +1,11 @@
-name: PR-$(System.PullRequest.PullRequestNumber)-$(Date:yyyyMMdd)$(Rev:.rr)
+name: CI-$(Build.SourceBranchName)-$(Date:yyyyMMdd)$(Rev:.rr)
+
+trigger:
+  - gh-readonly-queue/main/*
+pr:
+  paths:
+    exclude:
+    - '**/*.md'
 
 variables:
   # Don't download unneeded packages

diff --git a/.vsts-ci/misc-analysis.yml b/.vsts-ci/misc-analysis.yml
@@ -1,12 +1,11 @@
-name: PR-$(System.PullRequest.PullRequestNumber)-$(Date:yyyyMMdd)$(Rev:.rr)
+name: Misc-$(Build.SourceBranchName)-$(Date:yyyyMMdd)$(Rev:.rr)
 
 trigger:
-  branches:
-    include:
-    - main
-
+  - gh-readonly-queue/main/*
 pr:
-- main
+  paths:
+    exclude:
+    - '**/*.md'
 
 resources:
   repositories: