clap/bors.toml

status = [
	"CI",
]
pr_status = [
	"CI-PR", "Lint",
]
timeout_sec = 7200
prerun_timeout_sec = 7200
delete_merged_branches = true
cut_body_after = ""
block_labels = ["M: blocked", "M: require changes"]
Added bors config 2020-02-01 20:49:04 +00:00			`status = [`
Take all the GA statuses into one final status 2020-04-21 07:44:54 +00:00			`"CI",`
Added bors config 2020-02-01 20:49:04 +00:00			`]`
			`pr_status = [`
Speed up PR feedback This drops us down to just a handlful of jobs, allowing us full parallelism (github caps max parallel jobs). This is dependent on us using bors to run the "ci" before merging into master. There is a balance in what to run. We should consider what is most likely to break for the widest variety of PRs. Contributors that expect an uncovered case to fail can always specify `@bors try` Motivation - Mac is similar enough to Linux, we only need to run one of them and Linux has more parallel runners on Github. - Since we deal with `OsStr`, test Windows because its different than the others. - People are most likely to make changes on `stable` and break support for MSRV, so we should verify that - Still test on `stable` to not block feedback if we run into problems with dependencies and our MSRV run. - On the other hand, beta and nightly are less likely to break on an individual PR - Remove benchmarks because most changes are not performance sensitive and we aren't looking at the results enough to justify a 30 minute run. Fixes #2801 2021-10-01 19:55:41 +00:00			`"CI-PR", "Lint",`
Added bors config 2020-02-01 20:49:04 +00:00			`]`
			`timeout_sec = 7200`
Faster CI 2020-02-02 19:11:41 +00:00			`prerun_timeout_sec = 7200`
Added bors config 2020-02-01 20:49:04 +00:00			`delete_merged_branches = true`
Changes to bors 2020-02-20 20:52:52 +00:00			`cut_body_after = ""`
feat(doc): Fix many typos in docs, comments and codes found by typos-cli 2021-10-19 01:38:22 +00:00			`block_labels = ["M: blocked", "M: require changes"]`