Changed when the build runs with or without the lib discovery#122

kittaakos wants to merge 3 commits intoarduino:speed_improvementsarduino/arduino-language-server:speed_improvementsfrom

kittaakos:full-rebuildkittaakos/arduino-language-server:full-rebuildCopy head branch name to clipboard