Merge pull request #532 from eldruin/switch-to-ghmq

Prepare switch to GHMQ
rust-embedded · Jun 21, 2023 · 70a3e01 · 70a3e01
2 parents d8f067d + 5b6c656
commit 70a3e01
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 25 deletions.
diff --git a/.github/bors.toml b/.github/bors.toml
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,9 +1,11 @@
 name: CI
 
 on:
-  push:
-    branches: [ staging, trying, master ]
-  pull_request:
+  push: # Run CI for all branches except GitHub merge queue tmp branches
+    branches-ignore:
+    - "gh-readonly-queue/**"
+  pull_request: # Run CI for PRs on any branch
+  merge_group: # Run CI for the GitHub merge queue
 
 jobs:
   # Check build succeeds for each f3discovery chapter containing example code.