Skip to content
New issue

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

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

Already on GitHub? # to your account

Fix: Change Arduino Lint action to update. #2

Merged
merged 1 commit into from
Jan 5, 2023
Merged

Fix: Change Arduino Lint action to update. #2

merged 1 commit into from
Jan 5, 2023

Conversation

aentinger
Copy link
Member

This has become necessary because this library has been successfully submitted to the library manager.

This has become necessary because this library has been successfully submitted to the library manager.
@aentinger aentinger added type: enhancement PR to improve the project. topic: ci Continuous integration for this repository. labels Jan 5, 2023
@aentinger aentinger self-assigned this Jan 5, 2023
@aentinger aentinger merged commit f30a8e2 into main Jan 5, 2023
@aentinger aentinger deleted the lint branch January 5, 2023 10:03
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
topic: ci Continuous integration for this repository. type: enhancement PR to improve the project.
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

1 participant