monitorDependencies
are not installed with platform
#1564
Labels
conclusion: resolved
Issue was resolved
topic: code
Related to content of the project itself
type: imperfection
Perceived defect in any part of project
Milestone
From https://arduino.github.io/arduino-cli/dev/package_index_json-specification/#platforms-definitions
However, I find that the tool is not installed.
Steps to reproduce
Create a package index that contains a platform with a tool reference in its
monitorDependencies
field. For example:Click to expand
Install the platform and then check to see whether the tool was installed.
Demonstration
Environment
Additional information
Tool installation works just as expected for
toolsDependencies
anddiscoveryDependencies
.The text was updated successfully, but these errors were encountered: