[don't merge] see how much time we save when running `--stage 1` in CI#99141

Closed

jyn514 wants to merge 1 commit intorust-lang:masterfrom

jyn514:stage1-pr-ci

Commits on Jul 13, 2022

[don't merge] see how much time we save when running `--stage 1` in CI
jyn514
committed