You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
fix: install a library missing from local library-index (#50)
* feat: enhance AddSketchLibrary to update library index and log progress
* fix: improve library index update handling in AddSketchLibrary
* fix: improve error handling in AddSketchLibrary by logging warnings instead of failing on library index update
* fix: extend library index update interval to 60 seconds for improved performance
* fix: update library index refresh interval to 10 minutes for improved performance
* fix: improve error handling in AddSketchLibrary by logging warnings for library index update failures
* Update internal/orchestrator/sketch_libs.go
Co-authored-by: Luca Rinaldi <l.rinaldi@arduino.cc>
* Update internal/orchestrator/sketch_libs.go
Co-authored-by: Luca Rinaldi <l.rinaldi@arduino.cc>
---------
Co-authored-by: Luca Rinaldi <l.rinaldi@arduino.cc>
// update the local library index after a certain time, to avoid if a library is added to the sketch but the local library index is not update, the compile can fail (because the lib is not found)
0 commit comments