I did a pio upgrade --dev again. As you wrote, the project libraries are invisible now, with “Global” they show up, but the “Update” button is greyed-out. These libraries are used in the projects, so still there is something fishy.
I did a pio upgrade --dev again. As you wrote, the project libraries are invisible now, with “Global” they show up, but the “Update” button is greyed-out. These libraries are used in the projects, so still there is something fishy.