[Build] Use pioarduino also on Github builds#5528

Merged

TD-er merged 3 commits intoletscontrolit:megafrom

tonhuisman:feature/Build-use-pioarduino-on-github-builds-too

Apr 15, 2026

Commits on Apr 14, 2026

Commits on Apr 15, 2026

[Build] Rename library.json for HeatpumpIR to avoid constant re-installs of (outdated version) IRremoteESP8266
tonhuisman
committed