Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Get Coverage data command #353

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Get Coverage data command #353

wants to merge 1 commit into from

Conversation

brianignacio5
Copy link
Collaborator

Add ESP-IDF: Get Coverage data command to send esp gcov dump to openOCD.

@brianignacio5 brianignacio5 self-assigned this Mar 16, 2021
@brianignacio5 brianignacio5 added the Feature A new feature label Mar 19, 2021
@github-actions
Copy link

github-actions bot commented Apr 4, 2021

Pull request has been marked as stale since there are no activities, and this will be closed in 5 days if there are no further activities

@github-actions github-actions bot added the stale Stale PR or Issue label Apr 4, 2021
@brianignacio5 brianignacio5 added ongoing Ongoing Issue or PR, this label will be used for issue or PR which is to be excluded by stale bot and removed stale Stale PR or Issue labels Apr 7, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@gerekon gerekon Awaiting requested review from gerekon

Assignees

@brianignacio5 brianignacio5

Labels
Feature A new feature ongoing Ongoing Issue or PR, this label will be used for issue or PR which is to be excluded by stale bot
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@brianignacio5