Pull requests: arduino/arduino-cli
Pull requests list
Skip archive (.a) creation if the archive is already up-to-date
topic: code
Related to content of the project itself
#1778
opened Jun 20, 2022 by
cmaglie
Loading…
2 of 5 tasks
adding example usage for command option
topic: documentation
Related to documentation for the project
type: enhancement
Proposed improvement
#1753
opened Jun 8, 2022 by
TZubiri
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.