Pull requests: arduino/arduino-ide
Pull requests list
Bump CLI to 0.31.0 topic: CLI Related to Arduino CLI topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#1921 by davegarthsimpson was merged Feb 27, 2023 Loading…
4 tasks
Bump go version in workflow .yml files topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#1904 by davegarthsimpson was merged Feb 22, 2023 Loading…
4 tasks
chore: switch to version Related to project infrastructure type: enhancement Proposed improvement
2.3.1 after the release topic: infrastructure #2356 by kittaakos was merged Feb 7, 2024 Loading…
4 tasks
fix #1383: missing port labels criticality: medium Of moderate impact topic: code Related to content of the project itself type: imperfection Perceived defect in any part of project
#1412 by davegarthsimpson was merged Sep 15, 2022 Loading…
4 tasks
Enhance board config auto-selection with hardwareId topic: code Related to content of the project itself type: enhancement Proposed improvement
#1913 by davegarthsimpson was merged Feb 27, 2023 Loading…
4 tasks done
#1032 failing upload flag for monitor mgr topic: code Related to content of the project itself topic: serial monitor Related to the Serial Monitor type: imperfection Perceived defect in any part of project
#1040 by davegarthsimpson was merged Jun 22, 2022 Loading…
4 tasks
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
ProTip! Exclude everything labeled
bug with -label:bug.