Prevents weird update errors stemming from an already installed platform (cached), then updating some files in it manually and then pio pkg update updating it.
Cleanly install PlatformIO platform from scratch.
Prevents weird update errors stemming from an already installed platform (cached), then updating some files in it manually and then `pio pkg update` updating it.
Pull request closed
This pull request cannot be reopened because the branch was deleted.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Cleanly install PlatformIO platform from scratch.
Prevents weird update errors stemming from an already installed platform (cached), then updating some files in it manually and then
pio pkg updateupdating it.Pull request closed