jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-03 15:38:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,265 Commits 27 Branches 52 Tags
show-updateble-badge-arduino
Commit Graph

2 Commits

Author SHA1 Message Date
Akos Kitta
a39ab47e70 Use Task to build pinned CLI for IDE2. 
Closes 

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
 2022-08-11 09:28:50 +02:00
Akos Kitta
57841b3c0a : Use the build cache to speed up the LS () 
* Notify the LS about the new `build_path` after verify.

Closes 

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
 2022-07-18 10:19:00 +02:00