Skip to content

Pull requests: arduino/arduino-cli

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

[skip changelog] Tag CI failures with workflow name topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#747 by masci was merged Jun 10, 2020 Loading…
4 tasks
[skip changelog] document the docs generation workflow topic: documentation Related to documentation for the project
#738 by masci was merged Jun 10, 2020 Loading…
4 tasks
[skip changelog] Update latest tag at mike deploy topic: documentation Related to documentation for the project
#734 by masci was merged Jun 1, 2020 Loading…
4 tasks
Pin mike at version 0.5.1
#729 by masci was merged May 29, 2020 Loading…
4 tasks
[skip changelog] use absolute URL in docs version selector topic: documentation Related to documentation for the project
#718 by masci was merged May 22, 2020 Loading…
1 of 4 tasks
[skip changelog] Configure git push from CI topic: documentation Related to documentation for the project
#717 by masci was merged May 22, 2020 Loading…
4 tasks
[skip-changelog] Fix subprocess invocation
#716 by masci was merged May 21, 2020 Loading…
4 tasks
Remove unused import
#715 by masci was merged May 21, 2020 Loading…
4 tasks
Add versioning to docs topic: documentation Related to documentation for the project
#711 by masci was merged May 21, 2020 Loading…
4 tasks
pin requirements
#679 by masci was closed May 6, 2020 Draft
4 tasks
[skip changelog] Collect download stats less often
#668 by masci was merged Apr 23, 2020 Loading…
4 tasks
[skip changelog] Add alert when nightly build fails
#667 by masci was merged Apr 22, 2020 Loading…
2 of 4 tasks
[skip changelog] Gather downloads stats from GitHub releases topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
#665 by masci was merged Apr 22, 2020 Loading…
2 of 4 tasks
[skip changelog] add docs build badge in the README topic: documentation Related to documentation for the project
#621 by masci was merged Mar 13, 2020 Loading…
[skip changelog] Deploy docs website when merging on master
#618 by masci was merged Mar 13, 2020 Loading…
[skip changelog] Run docs build on more path changes
#607 by masci was merged Mar 6, 2020 Loading…
test commit
#605 by masci was closed Mar 5, 2020 Draft
[skip changelog] Fix README links topic: documentation Related to documentation for the project
#604 by masci was merged Mar 5, 2020 Loading…
[skip changelog] Revamp the README topic: documentation Related to documentation for the project
#603 by masci was merged Mar 5, 2020 Loading…
[skip changelog] Add CLI documentation topic: documentation Related to documentation for the project
#602 by masci was merged Mar 5, 2020 Loading…
[skip changelog] Move integration tests to pytest
#564 by masci was merged Jan 23, 2020 Loading…
[skip changelog] point the master branch in tests data
#563 by masci was merged Jan 20, 2020 Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.