-
- Notifications
You must be signed in to change notification settings - Fork 510
Pull requests: arduino/arduino-ide
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix: update Related to project infrastructure type: imperfection Perceived defect in any part of project
yarn.lock topic: infrastructure #2574 by giacomocusinato was merged Nov 21, 2024 Loading…
4 tasks
Update translation files topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#2692 by github-actions bot was merged Apr 8, 2025 Loading…
chore: switch to version Related to project infrastructure type: enhancement Proposed improvement
2.3.6 after the release topic: infrastructure #2682 by giacomocusinato was merged Apr 3, 2025 Loading…
fix: prevent Related to content of the project itself topic: theia Related to the Theia IDE framework type: imperfection Perceived defect in any part of project
OutputWidget to gain focus when updated topic: code #2681 by giacomocusinato was merged Apr 3, 2025 Loading…
chore: use AWS OpenID Connect for S3 publish topic: infrastructure Related to project infrastructure
#2651 by giacomocusinato was merged Mar 11, 2025 Loading…
4 tasks
fix: allow write permission on release job topic: infrastructure Related to project infrastructure type: imperfection Perceived defect in any part of project
#2676 by giacomocusinato was merged Apr 2, 2025 Loading…
Previous Next
ProTip! What’s not been updated in a month: updated:<2025-09-17.