Optimization: skip Init() when no library or platform was installed#1663

Merged

cmaglie merged 3 commits intoarduino:masterfrom

alranel:skip-init

May 12, 2022

Commits on Feb 14, 2022

Optimization: skip commands.Init() when no library was installed
alranel
committed
Optimization: skip commands.Init() when no platform was installed
alranel
committed

Commits on May 11, 2022

Merge remote-tracking branch 'upstream/master' into skip-init
alranel
committed