-
-
Notifications
You must be signed in to change notification settings - Fork 514
Pull requests: arduino/arduino-ide
Pull requests list
test: relax accessible sketch path test condition
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#2251
by kittaakos
was merged Oct 9, 2023
Loading...
4 tasks
build(deps): Bump actions/setup-node from 3 to 4
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#2264
by dependabot
bot
was merged Oct 23, 2023
Loading...
Fix bugs in dry run determination code for "Sync Labels" workflow
topic: infrastructure
Related to project infrastructure
type: imperfection
Perceived defect in any part of project
#547
by per1234
was merged Oct 13, 2021
Loading...
Sync certificate check workflow with "template"
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#481
by per1234
was merged Aug 18, 2021
Loading...
Remove dev tools menu item
topic: code
Related to content of the project itself
type: enhancement
Proposed improvement
#882
by AlbyIanna
was merged Mar 8, 2022
Loading...
4 tasks
Update themes
topic: code
Related to content of the project itself
topic: theme
Related to GUI theming
type: enhancement
Proposed improvement
#1125
by github-actions
bot
was merged Jun 28, 2022
Loading...
Update themes
topic: code
Related to content of the project itself
topic: theme
Related to GUI theming
type: enhancement
Proposed improvement
#1141
by github-actions
bot
was merged Jul 4, 2022
Loading...
bump arduino-cli version to 0.24.0
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#1103
by AlbyIanna
was merged Jun 23, 2022
Loading...
4 tasks
2.0.0-rc8
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#1105
by AlbyIanna
was merged Jun 23, 2022
Loading...
4 tasks
Add missing 'Advanced' string
topic: code
Related to content of the project itself
type: imperfection
Perceived defect in any part of project
#1104
by francescospissu
was merged Jun 27, 2022
Loading...
4 tasks
Update themes
topic: code
Related to content of the project itself
topic: theme
Related to GUI theming
type: enhancement
Proposed improvement
#1145
by github-actions
bot
was merged Jul 4, 2022
Loading...
Pinned 63f1e18 CLI.
topic: CLI
Related to Arduino CLI
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#1358
by kittaakos
was merged Aug 26, 2022
Loading...
4 tasks
Prepare 2.0.0-rc9.4
topic: CLI
Related to Arduino CLI
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#1411
by AlbyIanna
was merged Sep 8, 2022
Loading...
4 tasks
Use Related to Arduino CLI
topic: infrastructure
Related to project infrastructure
type: imperfection
Perceived defect in any part of project
0.25.1 CLI.
topic: CLI
#1266
by kittaakos
was merged Aug 1, 2022
Loading...
4 tasks
Prepared Related to project infrastructure
type: enhancement
Proposed improvement
2.0.0-rc9.3.
topic: infrastructure
#1399
by kittaakos
was merged Sep 5, 2022
Loading...
4 tasks
2.0.0-rc9.1
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#1272
by AlbyIanna
was merged Aug 2, 2022
Loading...
4 tasks
Update themes
topic: theme
Related to GUI theming
#1273
by github-actions
bot
was merged Aug 2, 2022
Loading...
#1343 Disabled the tokenizer after 500 chars.
topic: code
Related to content of the project itself
type: imperfection
Perceived defect in any part of project
#1450
by kittaakos
was merged Sep 19, 2022
Loading...
4 tasks
#1529 Avoid using Related to content of the project itself
type: imperfection
Perceived defect in any part of project
reportResult if installing lib/core
topic: code
#1530
by kittaakos
was merged Oct 7, 2022
Loading...
4 tasks
Bump version metadata post release: 2.0.3
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#1687
by AlbyIanna
was merged Nov 17, 2022
Loading...
4 tasks
Update translation files
type: enhancement
Proposed improvement
#1763
by github-actions
bot
was merged Feb 27, 2023
Loading...
Bump actions/upload-artifact from 2 to 3
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#1632
by dependabot
bot
was merged Nov 3, 2022
Loading...
Bump geekyeggo/delete-artifact from 1 to 2
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#1633
by dependabot
bot
was merged Nov 3, 2022
Loading...
ProTip!
Updated in the last three days: updated:>2025年11月01日.
You can’t perform that action at this time.