jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-04-30 18:27:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,114 Commits 27 Branches 52 Tags
Commit Graph

2 Commits

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

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

Closes #714

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