Skip to content

Pull requests: arduino/library-registry

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
Assigned to nobody Loading
Sort

Pull requests list

Foo
#2 by silvanocerza was closed Feb 1, 2021 Loading…
Update documentation to reflect repository name change criticality: high Of high impact topic: documentation Related to documentation for the project topic: other Something other than a library list request type: imperfection Perceived defect in any part of project
#3 by per1234 was merged Apr 9, 2021 Loading…
Configure Dependabot to check for outdated actions used in workflows topic: other Something other than a library list request
#4 by per1234 was merged Apr 9, 2021 Loading…
Integrate Library Manager FAQ into documentation topic: other Something other than a library list request
#5 by per1234 was merged Apr 9, 2021 Loading…
Enhance CI system for checking GitHub Actions workflows topic: other Something other than a library list request
#6 by per1234 was merged Apr 12, 2021 Loading…
Bump actions/cache from v2 to v2.1.4 topic: other Something other than a library list request
#7 by dependabot bot was closed Apr 13, 2021 Loading…
Remove dependencies caching from workflows topic: other Something other than a library list request
#8 by per1234 was merged Apr 13, 2021 Loading…
Reduce excessive line lengths in YAML files topic: other Something other than a library list request
#9 by per1234 was merged Apr 14, 2021 Loading…
Document policy re: who can add libraries to Library Manager topic: other Something other than a library list request
#10 by per1234 was merged Apr 14, 2021 Loading…
Use custom matrix job names in check-submissions job topic: other Something other than a library list request
#11 by per1234 was merged Apr 14, 2021 Loading…
Add instructions to FAQ for accessing indexer logs topic: other Something other than a library list request
#12 by per1234 was merged Apr 26, 2021 Loading…
Provide immediate response to comment trigger topic: other Something other than a library list request
#13 by per1234 was merged Apr 26, 2021 Loading…
Comment on submission acceptance topic: other Something other than a library list request
#14 by per1234 was merged Apr 26, 2021 Loading…
Remove unnecessary enabled job from "Manage PRs" workflow topic: other Something other than a library list request
#15 by per1234 was merged Apr 27, 2021 Loading…
Remove unnecessary property reference from issue number definition for comment feedback comment topic: other Something other than a library list request
#16 by per1234 was merged Apr 27, 2021 Loading…
Provide assistance in the event of a merge conflict topic: other Something other than a library list request
#17 by per1234 was merged Apr 27, 2021 Loading…
Use squash merge for submission PRs topic: other Something other than a library list request
#18 by per1234 was merged Apr 27, 2021 Loading…
Move comment re: "Unexpected input(s)" warnings for octokit/request-action to first usage topic: documentation Related to documentation for the project topic: other Something other than a library list request type: enhancement Proposed improvement
#19 by per1234 was merged Apr 28, 2021 Loading…
Restrict failure handling job runs to specific job failure topic: other Something other than a library list request
#20 by per1234 was merged Apr 28, 2021 Loading…
Use less ambiguous name for workflow job handling non-submission PRs topic: documentation Related to documentation for the project topic: other Something other than a library list request type: enhancement Proposed improvement
#21 by per1234 was merged Apr 28, 2021 Loading…
Handle unexpected failures in "Manage PRs" workflow topic: other Something other than a library list request
#22 by per1234 was merged Apr 28, 2021 Loading…
Don't run "Manage PRs" workflow on draft PRs topic: other Something other than a library list request
#23 by per1234 was merged Apr 29, 2021 Loading…
Delete diff artifact after use in "Manage PRs" workflow topic: other Something other than a library list request
#24 by per1234 was merged Apr 29, 2021 Loading…
Check new URL on modification PRs topic: other Something other than a library list request
#25 by per1234 was merged Apr 30, 2021 Loading…
ProTip! no:milestone will show everything without a milestone.