Skip to content

Pull requests: arduino/arduino-ide

New pull request New

Clear current search query, filters, and sorts

0 Open 7 Closed

Pull requests list

Aligned workflow/docs with the default branch name topic: documentation topic: infrastructure

#8 by kittaakos was merged Feb 11, 2021

Loading...

3

Update README before making the repository public topic: documentation

#49 by alranel was merged Mar 1, 2021

Loading...

11

chore: update CLI version, gRPC and bit of documentation topic: CLI topic: code topic: documentation topic: infrastructure

#285 by fstasi was merged Mar 29, 2021

Loading...

1

404 error solved topic: documentation type: imperfection

#467 by yash-markad was merged Aug 31, 2021

Loading...

2

Update BUILDING.md topic: documentation type: imperfection

#470 by Jmarinis was merged Aug 6, 2021

Loading...

1

add notes for Windows contributor in BUILDING.md topic: documentation type: enhancement

#926 by francescospissu was merged Mar 29, 2022

Loading...

4 tasks

6

Update BUILDING.md topic: documentation topic: infrastructure topic: theia type: imperfection

#1281 by InstantMuffin was merged Aug 3, 2022

Loading...

4 tasks done

6

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