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

Prepare switch to GHMQ
rust-embedded · Jun 20, 2023 · 3620083 · 3620083
2 parents 7e24e0c + 50cceac
commit 3620083
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 26 deletions.
diff --git a/.github/bors.toml b/.github/bors.toml
diff --git a/.github/workflows/clippy.yml b/.github/workflows/clippy.yml
@@ -1,7 +1,9 @@
 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
 
 name: Clippy check
 jobs:

diff --git a/.github/workflows/rustfmt.yml b/.github/workflows/rustfmt.yml
@@ -1,7 +1,9 @@
 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
 
 name: Code formatting check
 

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -1,7 +1,9 @@
 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
 
 name: Continuous integration
 
@@ -32,7 +34,7 @@ jobs:
           toolchain: ${{ matrix.rust }}
           target: ${{ matrix.target }}
 
-      - run: sed -i '/nightly-only/d' Cargo.toml 
+      - run: sed -i '/nightly-only/d' Cargo.toml
         if: matrix.rust != 'nightly'
 
       - run: cargo check --target=${{ matrix.target }} --features=${{ matrix.features }}