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! Updated in the last three days: updated:>2025年09月30日.

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