Make sure the build.rustc version is either the same or 1 apart (revised)#112231

Merged

bors merged 1 commit intorust-lang:masterfrom

chenyukang:yukang-fix-110067-version-issue

Jun 3, 2023

Commits on Jun 3, 2023

only check when we specify rustc in config.toml
chenyukang
committed