Skip to content

Conversation

RCmags
Copy link
Contributor

@RCmags RCmags commented Dec 24, 2022

Add pulseInput library found at this repo: https://github.com/RCmags/pulseInput

Add pulseInput library found at this repo: https://github.com/RCmags/pulseInput
@github-actions github-actions bot added the topic: submission Add library to the list label Dec 24, 2022
@github-actions github-actions bot merged commit 4be63d4 into arduino:main Dec 24, 2022
@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/RCmags/pulseInput/

github-actions bot pushed a commit that referenced this pull request Dec 24, 2022
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