Skip to content

Conversation

@rui-huang-opt
Copy link
Contributor

No description provided.

@github-actions github-actions bot added the topic: submission Add library to the list label May 15, 2023
@github-actions github-actions bot merged commit 9102a40 into arduino:main May 15, 2023
@github-actions
Copy link
Contributor

Your submission has now been accepted! Thanks for your contribution to the Arduino Library Manager index.

The library(s) will be available for installation via Library Manager within a day's time.

You can check the logs from the Library Manager indexer for your library(s) here:
http://downloads.arduino.cc/libraries/logs/github.com/rhrhhrhr/MPC_ruih/

github-actions bot pushed a commit that referenced this pull request May 15, 2023
@per1234 per1234 mentioned this pull request May 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

topic: submission Add library to the list

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant