Pull requests: arduino/arduino-cli
Pull requests list
Improved logging on GitHub Actions runners (using log folding commands)
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#2414
by cmaglie
was merged Nov 15, 2023
Loading…
3 of 6 tasks
Removed useless file-readable check while enumerating source code files
topic: build-process
Related to the sketch build process
type: imperfection
Perceived defect in any part of project
#2418
by cmaglie
was merged Nov 14, 2023
Loading…
2 of 6 tasks
Binaries export must now be explicitly specified
#1042
by silvanocerza
was merged Nov 2, 2020
Loading…
4 tasks done
Split CI execution of integration tests
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#1526
by silvanocerza
was merged Oct 25, 2021
Loading…
3 of 5 tasks
Allow downloading index and signature in a single tar.bz2 archive
topic: code
Related to content of the project itself
#1734
by cmaglie
was merged May 24, 2022
Loading…
3 of 5 tasks
When launching Related to the command line interface
topic: code
Related to content of the project itself
type: enhancement
Proposed improvement
core list with no installed platforms print no platforms installed
topic: CLI
#2238
by alessio-perugini
was merged Jul 6, 2023
Loading…
6 tasks
Load contents of source files only when needed
#559
by matthijskooijman
was merged Jan 17, 2020
Loading…
Upgrade golang version to 1.24.1
topic: infrastructure
Related to project infrastructure
type: enhancement
Proposed improvement
#2850
by cmaglie
was merged Mar 31, 2025
Loading…
2 of 6 tasks
ProTip!
Adding no:label will show everything without a label.