Make sure we run the full suite, even when more specific filters are given#154555

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

jdonszelmann:specific-filtersjdonszelmann/rust:specific-filtersCopy head branch name to clipboard