Skip tidy in PR CI jobs not dedicated to running tidy - #152845

Skip tidy in PR CI jobs not dedicated to running tidy#152845

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

jieyouxu:split-tidy-from-pr-test-jobsjieyouxu/rust:split-tidy-from-pr-test-jobsCopy head branch name to clipboard