Pull requests: arduino/arduino-cli

Pull requests list

Add install script and update install instructions topic: documentation

#324 by masci was merged Aug 6, 2019

[skip changelog] Add documentation for library components of the gRPC interface topic: documentation

#692 by per1234 was merged Jun 18, 2020

2 tasks done

@per1234

[skip changelog] Use relative links for documentation pages topic: documentation

#799 by per1234 was merged Jul 8, 2020

3 of 4 tasks

@per1234

Add outdate, update and upgrade commands topic: documentation

#865 by silvanocerza was merged Jul 27, 2020

4 tasks done

@silvanocerza

[skip changelog] Change documentation theme to customized one conclusion: declined topic: documentation type: enhancement

#1014 by silvanocerza was closed May 4, 2022

4 tasks done

@silvanocerza

Improve clarity of library.properties include= field conclusion: declined topic: documentation type: enhancement

#1124 by ianfixes was closed Nov 19, 2021

@per1234

[skip changelog] Document the programmers system of Arduino platforms topic: documentation

#925 by per1234 was merged Aug 31, 2020

3 of 4 tasks

@per1234

[skip changelog] Add sketch specification to documentation topic: documentation type: enhancement

#654 by per1234 was merged Apr 16, 2020

2 tasks done

@per1234

[skip changelog] Document Arduino CLI's configuration methods topic: documentation

#748 by per1234 was merged Jun 18, 2020

3 of 4 tasks

@per1234

Make the configuration documentation in a table. topic: documentation type: enhancement

#2907 by kristianbenoit was closed May 29, 2025

6 tasks

@per1234

[skip changelog] Make library location priority documentation more relevant to Arduino CLI topic: documentation

#732 by per1234 was merged Jun 10, 2020

3 of 4 tasks

@per1234

[skip changelog] [skip ci] Clarify additional-urls option usage topic: documentation

#548 by rsora was merged Jan 9, 2020

[skip changelog] Demonstrate the use of the gRPC Settings interface in client_example topic: documentation

#554 by per1234 was merged Jan 14, 2020

@per1234

[skip changelog] Make "Getting started" page more friendly to new users of Arduino CLI topic: documentation

#782 by per1234 was merged Jul 7, 2020

3 of 4 tasks

@per1234

[skip changelog] Add CLI documentation topic: documentation

#602 by masci was merged Mar 5, 2020

[skip changelog] Configure git push from CI topic: documentation

#717 by masci was merged May 22, 2020

4 tasks

[skip changelog] Add documentation for upload components of the gRPC interface topic: documentation

#697 by per1234 was merged May 19, 2020

2 tasks done

@per1234

[skip changelog]Fix typos and formatting in the documentation topic: documentation

#907 by per1234 was merged Aug 19, 2020

3 of 4 tasks

@per1234

Format CLI configuration as with a table conclusion: duplicate topic: documentation type: enhancement

#2906 by kristianbenoit was closed May 3, 2025

6 tasks

@per1234

improve find FQBN FAQ topic: documentation

#274 by endorama was merged Jul 11, 2019

Added a note to help anyone using an FTDI chip. topic: documentation

#468 by tiny-tinker was merged Nov 5, 2019

[skip changelog] Revamp the README topic: documentation

#603 by masci was merged Mar 5, 2020

Use https scheme in the README example topic: documentation

#547 by alranel was merged Jan 9, 2020

Add versioning to docs topic: documentation

#711 by masci was merged May 21, 2020

4 tasks

[skip changelog] Use local path for github.com/arduino/arduino-cli module dependency of docsgen topic: documentation

#719 by per1234 was merged May 22, 2020

3 of 4 tasks

@per1234

ProTip! Mix and match filters to narrow down what you’re looking for.

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Uh oh!

Pull requests: arduino/arduino-cli

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Pull requests list