Rewrite the ci.py script in Rust#136864

bors merged 13 commits into

rust-lang:masterrust-lang/rust:masterfrom

Kobzol:citoolKobzol/rust:citoolCopy head branch name to clipboard