Open
Description
Describe the request
The following npm scripts do not require IDE2/Theia dependencies to be installed:
"i18n:push","i18n:pull","themes:pull", and"themes:generate"
But the corresponding GH Actions run yarn and expect all the IDE2/Theia dependencies to be installed. The current way is not just inefficient but does not make much sense.
Please create dedicated npm projects inside the IDE2 project for updating the themes and translations, and run them without installing IDE2.
Describe the current behavior
See request above.
Arduino IDE version
Original report
Last verified with
Operating system
N/A
Operating system version
It's for the workflow with GH Actions
Additional context
Issue checklist
- I searched for previous requests in the issue tracker
- I verified the feature was still missing when using the latest nightly build
- My request contains all necessary details