Skip to content
This repository has been archived by the owner on Apr 8, 2019. It is now read-only.

Add reporter interface #48

Merged
merged 1 commit into from
Feb 20, 2017
Merged

Add reporter interface #48

merged 1 commit into from
Feb 20, 2017

Conversation

xichen2020
Copy link
Contributor

cc @robskillington

This PR adds a reporter interface to report runtime information (e.g., metrics)

robskillington
robskillington approved these changes Feb 20, 2017
View reviewed changes
Copy link
Contributor

@robskillington robskillington left a comment

Choose a reason for hiding this comment

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

LGTM

@xichen2020 xichen2020 merged commit 2adc966 into master Feb 20, 2017
@xichen2020 xichen2020 deleted the xichen-report-interface branch February 20, 2017 22:28
@coveralls
Copy link

coveralls commented Feb 20, 2017 •
edited
Loading

Coverage Status

Coverage remained the same at 85.899% when pulling 2cc0f19 on xichen-report-interface into 3a8328d on master.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@robskillington robskillington robskillington approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@xichen2020 @coveralls @robskillington