mirror of
https://github.com/rust-lang/rust.git
synced 2025-12-30 17:35:29 +00:00
Make it easier to run CI jobs locally This PR extends the Python CI script to perform a poor man's CI-like execution of a given CI job locally. It's not perfect, but it's better than nothing. r? `@jieyouxu`