Skip to content

Pull requests: arduino/arduino-ide

New pull request New
Clear current search query, filters, and sorts
1 Open 44 Closed
1 Open 44 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update translation files topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#2692 by github-actions bot was merged Apr 8, 2025 Loading… updated Apr 8, 2025
Update translation files
#2597 by github-actions bot was merged Mar 31, 2025 Loading… updated Mar 31, 2025
Update translation files
#2523 by github-actions bot was merged Dec 2, 2024 Loading… updated Dec 2, 2024
Update translation files topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#2392 by github-actions bot was merged Sep 24, 2024 Loading… updated Sep 24, 2024
Update translation files
#2374 by github-actions bot was merged Feb 19, 2024 Loading… updated Feb 19, 2024
Update translation files topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#2367 by github-actions bot was merged Feb 14, 2024 Loading… updated Feb 14, 2024
Update translation files topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#2216 by github-actions bot was merged Feb 1, 2024 Loading… updated Feb 1, 2024
1
Update translation files
#2031 by github-actions bot was merged Aug 28, 2023 Loading… updated Aug 28, 2023
Update translation files type: enhancement Proposed improvement
#1938 by github-actions bot was merged Apr 17, 2023 Loading… updated Apr 17, 2023
4
Update translation files type: enhancement Proposed improvement
#1763 by github-actions bot was merged Feb 27, 2023 Loading… updated Feb 28, 2023
Update themes topic: infrastructure Related to project infrastructure type: imperfection Perceived defect in any part of project
#1836 by github-actions bot was merged Feb 15, 2023 Loading… updated Feb 15, 2023
2
1
Update translation files
#1701 by github-actions bot was merged Dec 5, 2022 Loading… updated Dec 5, 2022
Update translation files
#1606 by github-actions bot was merged Nov 17, 2022 Loading… updated Nov 17, 2022
Update translation files
#1496 by github-actions bot was merged Oct 27, 2022 Loading… updated Oct 27, 2022
Update translation files
#1462 by github-actions bot was merged Sep 20, 2022 Loading… updated Sep 20, 2022
Update translation files
#1421 by github-actions bot was merged Sep 12, 2022 Loading… updated Sep 12, 2022
Update translation files
#1397 by github-actions bot was merged Sep 5, 2022 Loading… updated Sep 5, 2022
Update translation files
#1305 by github-actions bot was merged Aug 31, 2022 Loading… updated Aug 31, 2022
Update themes topic: theme Related to GUI theming
#1273 by github-actions bot was merged Aug 2, 2022 Loading… updated Aug 2, 2022
Update translation files
#1269 by github-actions bot was merged Aug 1, 2022 Loading… updated Aug 1, 2022
Update translation files type: enhancement Proposed improvement
#1249 by github-actions bot was merged Jul 29, 2022 Loading… updated Jul 29, 2022
Update translation files topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#1201 by github-actions bot was merged Jul 20, 2022 Loading… updated Jul 20, 2022
Update themes topic: theme Related to GUI theming
#1203 by github-actions bot was merged Jul 18, 2022 Loading… updated Jul 18, 2022
Update themes conclusion: duplicate Has already been submitted topic: theme Related to GUI theming
#1195 by github-actions bot was closed Jul 15, 2022 Loading… updated Jul 16, 2022
1
Update themes topic: theme Related to GUI theming
#1187 by github-actions bot was merged Jul 15, 2022 Loading… updated Jul 15, 2022
4
ProTip! What’s not been updated in a month: updated:<2025-04-16.