Specify full name for bors builds (#287)
This commit is contained in:
parent
d395faeefa
commit
3d19ce04e7
|
@ -3,7 +3,6 @@ name: Merge (with bors)
|
||||||
on:
|
on:
|
||||||
push:
|
push:
|
||||||
branches:
|
branches:
|
||||||
- main
|
|
||||||
- staging
|
- staging
|
||||||
- trying
|
- trying
|
||||||
tags-ignore:
|
tags-ignore:
|
||||||
|
|
18
bors.toml
18
bors.toml
|
@ -1,7 +1,19 @@
|
||||||
status = ["Test on %"]
|
|
||||||
use_squash_merge = true
|
|
||||||
delete_merged_branches = true
|
delete_merged_branches = true
|
||||||
update_base_for_deletes = true
|
update_base_for_deletes = true
|
||||||
|
use_squash_merge = true
|
||||||
|
|
||||||
|
status = [
|
||||||
|
"Test on macos with Rust stable",
|
||||||
|
"Test on ubuntu with Rust stable",
|
||||||
|
"Test on windows with Rust stable",
|
||||||
|
"Test on macos with Rust 1.58.0",
|
||||||
|
"Test on ubuntu with Rust 1.58.0",
|
||||||
|
"Test on windows with Rust 1.58.0",
|
||||||
|
]
|
||||||
|
|
||||||
# Disabled until https://github.com/bors-ng/bors-ng/issues/1434 is fixed
|
# Disabled until https://github.com/bors-ng/bors-ng/issues/1434 is fixed
|
||||||
#pr_status = ["PR check on %"]
|
#pr_status = [
|
||||||
|
# "Check on macos",
|
||||||
|
# "Check on ubuntu",
|
||||||
|
# "Check on windows",
|
||||||
|
#]
|
||||||
|
|
Loading…
Reference in New Issue