Skip to content

Add new --bypass-ignore-backends option#147633

Merged
bors merged 3 commits into
rust-lang:masterfrom
GuillaumeGomez:bypass-ignore-backends
Oct 31, 2025
Merged

Add new --bypass-ignore-backends option#147633
bors merged 3 commits into
rust-lang:masterfrom
GuillaumeGomez:bypass-ignore-backends

Rename `bypass_backends` into `bypass_ignore_backends`

8cf55ea
Select commit
Loading
Failed to load commit list.
Sign in for the full log view