Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Updates to libraries-api. #35

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
cmaglie merged 9 commits into main from upgraded_lib_api
Dec 9, 2025
Merged

Updates to libraries-api. #35

cmaglie merged 9 commits into main from upgraded_lib_api
Dec 9, 2025

Conversation

@cmaglie
Copy link
Member

@cmaglie cmaglie commented Oct 30, 2025
edited by Xayton
Loading

Motivation

After this patch, some libraries may be marked as dependencies and could be automatically removed if they are no longer required.

Change description

Just upgraded the version of the Arduino CLI that is imported in the project.

Additional Notes

Reference Arduino CLI PR:

Reviewer checklist

  • PR addresses a single concern.
  • PR title and description are properly filled.
  • Changes will be merged in main.
  • Changes are covered by tests.
  • Logging is meaningful in case of troubleshooting.

Now some libraries may be tagged as dependencies, and also be
automatically removed if no more needed.
@cmaglie cmaglie self-assigned this Oct 31, 2025
@cmaglie cmaglie added the enhancement New feature or request label Nov 25, 2025
Copy link
Contributor

@lucarin91 lucarin91 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I tried the PR and I was able to install and disinstall correctly libraries and their dependencies

@cmaglie cmaglie merged commit beee333 into main Dec 9, 2025
12 checks passed
@cmaglie cmaglie deleted the upgraded_lib_api branch December 9, 2025 16:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@lucarin91 lucarin91 lucarin91 approved these changes

Labels

enhancement New feature or request

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

AltStyle によって変換されたページ (->オリジナル) /