rustup icon indicating copy to clipboard operation
rustup copied to clipboard
verified publisher icon rust-lang

Tracking: Ensure the integrity of toolchains, handle concurrent reads/writes

Open rami3l opened this issue 1 year ago • 2 comments

Note

The following might be relevant:

  • https://github.com/rust-lang/rustup/issues/3709
  • https://github.com/leanprover/elan/pull/121

rami3l avatar Jul 11 '24 04:07 rami3l

I don't find the name very clear/obvious.

djc avatar Jul 11 '24 08:07 djc

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...

rami3l avatar Jul 11 '24 09:07 rami3l