feat: omit release details to speed up lib search#1949

kittaakos merged 1 commit intomainarduino/arduino-ide:mainfrom

arduino/arduino-cli#2102arduino/arduino-ide:arduino/arduino-cli#2102Copy head branch name to clipboard