add merge_queue trigger

apache · Jul 3, 2024 · 073805c · 073805c
1 parent ebcf31a
commit 073805c
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
@@ -1,7 +1,8 @@
-name: Validate PR before adding to merge queue
+name: Validate PR
 
 on:
   pull_request:
+  merge_queue:
 
 jobs:
   validate-pr:
@@ -16,5 +17,5 @@ jobs:
         pwd
         tree -a -I '.git'
         git status
-    - name: Run fast CI (emulated by a short sleep)
+    - name: Validate files
       run: ./pr-check.sh