rustup
rustup copied to clipboard
Tracking: Ensure the integrity of toolchains, handle concurrent reads/writes
Note
The following might be relevant:
- https://github.com/rust-lang/rustup/issues/3709
- https://github.com/leanprover/elan/pull/121
I don't find the name very clear/obvious.
I don't find the name very clear/obvious.
@djc Sorry, that was a typo. Thanks for pointing it out!
PS: My mind is probably not very clear today for some reason...