Skip to content

Pull requests: arduino/arduino-cli

New pull request New

Clear current search query, filters, and sorts

9 Open 468 Closed

Pull requests list

Additional include paths libs topic: code type: enhancement

#502 opened Nov 29, 2019 by facchinm

Loading...

1

14

Skip archive (.a) creation if the archive is already up-to-date topic: code

#1778 opened Jun 20, 2022 by cmaglie

Loading...

2 of 5 tasks

10

[skip changelog] Do not allow extra paths in "archiveFileName" property in package_index.json topic: code type: imperfection

#866 opened Jul 24, 2020 by cmaglie

Loading...

2

Add possibility to embed custom libraries into the sketch topic: CLI topic: code type: enhancement

#2514 opened Jan 25, 2024 by cmaglie • Draft

4 of 6 tasks

1

1

Allow use of a dependency helper source file during library detection type: enhancement

#2758 opened Nov 18, 2024 by cmaglie • Draft

2 of 6 tasks

1

refactoring: implement a proper dependency (.d) file parser topic: build-process topic: code type: enhancement

#2972 opened Aug 11, 2025 by cmaglie • Draft

3 of 6 tasks

1

Increase priority of manually-installed platform. topic: code type: enhancement

#2810 opened Jan 13, 2025 by cmaglie • Draft

3 of 6 tasks

1

Try harder to not recompile sketch without modifications. topic: build-process topic: code type: enhancement

#2961 opened Jul 29, 2025 by cmaglie

Loading...

2 of 6 tasks

2

1

Added gRPC functions to manage libraries in profiles topic: gRPC type: enhancement

#3019 opened Oct 3, 2025 by cmaglie • Draft

2 of 6 tasks

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