Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #12694 - hi-rustin:rustin-patch-bors, r=jonas-schievink
Remove useless bors.toml
It seems we do not use bors-ng anymore. So maybe this is useless.
| -rw-r--r-- | bors.toml | 9 | ||||
| -rw-r--r-- | crates/sourcegen/src/lib.rs | 2 |
2 files changed, 1 insertions, 10 deletions
diff --git a/bors.toml b/bors.toml deleted file mode 100644 index 1f66030303..0000000000 --- a/bors.toml +++ /dev/null @@ -1,9 +0,0 @@ -status = [ - "Rust (ubuntu-latest)", - "Rust (windows-latest)", - "Rust (macos-latest)", - "TypeScript (ubuntu-latest)", - "TypeScript (windows-latest)", -] -delete_merged_branches = true -timeout_sec = 1200 # 20 min diff --git a/crates/sourcegen/src/lib.rs b/crates/sourcegen/src/lib.rs index 719b35b630..d991846c7f 100644 --- a/crates/sourcegen/src/lib.rs +++ b/crates/sourcegen/src/lib.rs @@ -196,6 +196,6 @@ fn normalize_newlines(s: &str) -> String { pub fn project_root() -> PathBuf { let dir = env!("CARGO_MANIFEST_DIR"); let res = PathBuf::from(dir).parent().unwrap().parent().unwrap().to_owned(); - assert!(res.join("bors.toml").exists()); + assert!(res.join("triagebot.toml").exists()); res } |