mirror of
https://github.com/rust-lang/rust.git
synced 2025-11-16 15:33:33 +00:00
And rename the `Compiled` variant as `Finished`, because that name makes it clearer there is nothing left to do, contrasting nicely with the `Needs*` variants.