Merge #18

18: Enable bors for nicer merging r=bertptrs a=bertptrs Co-authored-by: Bert Peters <bert@bertptrs.nl>
Enable CI builds on staging/trying
2025-12-25 20:50:32 +01:00 · 2022-05-15 21:40:40 +00:00 · 2022-05-15 23:35:00 +02:00 · 2022-05-15 23:35:00 +02:00
2 changed files with 7 additions and 0 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,6 +2,8 @@ on:
  push:
    branches:
      - master
+      - staging
+      - trying
  pull_request:

 name: Continuous integration
--- a/bors.toml
+++ b/bors.toml
@@ -0,0 +1,5 @@
+status = [
+    'Rust project (stable)',
+    'Rust project (beta)',
+    'Documentation build',
+]
Author	SHA1	Message	Date
bors[bot]	1f7e6921aa	Merge #18 18: Enable bors for nicer merging r=bertptrs a=bertptrs Co-authored-by: Bert Peters <bert@bertptrs.nl>	2022-05-15 21:40:40 +00:00
Bert Peters	f7048f265f	Enable CI builds on staging/trying	2022-05-15 23:35:00 +02:00
Bert Peters	64e56fdb86	Add minimal bors config	2022-05-15 23:35:00 +02:00