Browse Source

Switch from bors to github merge queue.

Dario Nieuwenhuis 1 năm trước cách đây
mục cha
commit
8065502596

+ 0 - 6
.github/bors.toml

@@ -1,6 +0,0 @@
-status = [
-    "tests",
-    "fuzz",
-    "clippy",
-    "fmt",
-]

+ 1 - 2
.github/workflows/coverage.yml

@@ -1,7 +1,6 @@
 on:
-  push:
-    branches: [staging, trying]
   pull_request:
+  merge_group:
 
 name: Coverage
 

+ 1 - 2
.github/workflows/fuzz.yml

@@ -1,7 +1,6 @@
 on:
-  push:
-    branches: [ staging, trying ]
   pull_request:
+  merge_group:
 
 name: Fuzz
 

+ 1 - 2
.github/workflows/rustfmt.yaml

@@ -1,7 +1,6 @@
 on:
-  push:
-    branches: [ staging, trying ]
   pull_request:
+  merge_group:
 
 name: Rustfmt check
 jobs:

+ 1 - 2
.github/workflows/test.yml

@@ -1,7 +1,6 @@
 on:
-  push:
-    branches: [staging, trying]
   pull_request:
+  merge_group:
 
 name: Test