Pull requests: arduino/arduino-ide
Pull requests list
chore(deps): update to Theia Related to the Theia IDE framework type: enhancement Proposed improvement
1.42.1 topic: theia 
fix: can unset Has already been submitted topic: CLI Related to Arduino CLI topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
network#proxy in the CLI config conclusion: duplicate feat(release): document manual release procedure conclusion: invalid Issue/PR not valid topic: documentation Related to documentation for the project type: enhancement Proposed improvement
fix: flawed config handling in the FQBN conclusion: duplicate Has already been submitted topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
Auto-select boards config with Has already been submitted topic: code Related to content of the project itself type: enhancement Proposed improvement
hardwareId if present conclusion: duplicate #1885 by davegarthsimpson was closed Feb 24, 2023 Loading…
4 tasks done
#1366 Buffer events from Has already been submitted topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
BoardListWatchResponse conclusion: duplicate arm64 architecture: arm Specific to ARM host architecture os: linux Specific to Linux operating system topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#1168 by koendv was closed Jul 24, 2022 Loading…
4 tasks
ProTip! Filter pull requests by the default branch with base:main.