Skip to content

Conversation

maxgerhardt
Copy link
Contributor

@maxgerhardt maxgerhardt commented Jun 1, 2025

Prevents weird update errors stemming from an already installed platform (cached), then updating some files in it manually and then pio pkg updating it.

Should fix issues seen in #2975 and other PRs.

Prevents weird update errors stemming from an already installed platform
(cached), then updating some files in it manually and then pio pkg updating it.
@earlephilhower earlephilhower merged commit 4de3ea9 into earlephilhower:master Jun 1, 2025
26 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants