-
-
Notifications
You must be signed in to change notification settings - Fork 403
Pull requests: arduino/arduino-cli
Author
Label
Projects
Milestones
Reviews
Assignee
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
[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
Add versioning to docs
topic: documentation
Related to documentation for the project
#711
by masci
was merged May 21, 2020
Loading…
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] 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] point the master branch in tests data
#563
by masci
was merged Jan 20, 2020
Loading…
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.