-
-
Notifications
You must be signed in to change notification settings - Fork 514
Pull requests: arduino/arduino-ide
Pull requests list
chore(cli): update CLI to Has already been submitted
topic: CLI
Related to Arduino CLI
topic: code
Related to content of the project itself
topic: infrastructure
Related to project infrastructure
topic: language server
Related to the Arduino Language Server
type: enhancement
Proposed improvement
0.35.0-rc.2
conclusion: duplicate
update Language Server flags
conclusion: duplicate
Has already been submitted
topic: code
Related to content of the project itself
topic: language server
Related to the Arduino Language Server
#623
by fstasi
was closed Nov 23, 2021
Loading...
Use Related to project infrastructure
topic: language server
Related to the Arduino Language Server
type: enhancement
Proposed improvement
vscode-arduino-tools VSX.
topic: infrastructure
#48
by kittaakos
was merged Feb 26, 2021
Loading...
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.