-
-
Notifications
You must be signed in to change notification settings - Fork 2.2k
Pull requests: arduino/library-registry
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
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 Something other than a library list request
check-submissions job
topic: other
#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 Something other than a library list request
enabled job from "Manage PRs" workflow
topic: other
#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 Related to documentation for the project
topic: other
Something other than a library list request
type: enhancement
Proposed improvement
octokit/request-action to first usage
topic: documentation
#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…
Previous Next
ProTip!
no:milestone will show everything without a milestone.