[ci] Run CI in merge queue and not master

This change updates the GitHub actions workflows to run on PR updates and within the GitHub merge queue, but not on the push to the master branch. Because we use merge queues, the re-run for the master branch would be redundant. Signed-off-by: James Wainwright <[email protected]>
lowRISC · Dec 15, 2023 · 38da151 · 38da151
1 parent 1c5da19
commit 38da151
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -8,10 +8,11 @@ name: Ibex CI
 
 on:
   push:
-    branches:
-      - "*"
     tags:
       - "*"
+  merge_group:
+    types:
+      - checks_requested
   pull_request:
     branches:
       - "*"

diff --git a/.github/workflows/pr_lint.yml b/.github/workflows/pr_lint.yml
@@ -10,7 +10,12 @@ name: pr-lint
 
 # Triggers when there is any activity on a pull request, e.g. opened, updated.
 on:
+  merge_group:
+    types:
+      - checks_requested
   pull_request:
+    branches:
+      - "*"
 
 jobs:
   verible-lint: