I think the Build status in bors should be build (stable) (optionally build (nightly) too) to match the status names reported under the ci workflow in GitHub Actions.
This change uses the stable build status only, so PR merges aren't blocked if nightly builds fail.
I think the
Build
status in bors should bebuild (stable)
(optionallybuild (nightly)
too) to match the status names reported under theci
workflow in GitHub Actions.This change uses the stable build status only, so PR merges aren't blocked if nightly builds fail.