Skip to content

Pull requests: arduino/arduino-ide

New pull request New

Clear current search query, filters, and sorts

0 Open 2 Closed

Pull requests list

chore(deps): update to Theia 1.42.1 topic: theia type: enhancement

#2246 by kittaakos was closed Feb 9, 2024 • Draft

4 tasks

6

[WIP]: Theia 1.27.0 signed conclusion: invalid topic: infrastructure topic: theia type: enhancement

#1241 by kittaakos was closed Sep 21, 2022 • Draft

4 tasks

5

ProTip! no:milestone will show everything without a milestone.