Skip to content

fix CI coverage capturing and reporting - #231

Merged
evenstensberg merged 1 commit into
masterfrom
bugfix/coverage
Jan 2, 2018
Merged

fix CI coverage capturing and reporting#231
evenstensberg merged 1 commit into
masterfrom
bugfix/coverage

Conversation

@sokra

@sokra sokra commented Jan 2, 2018

Copy link
Copy Markdown
Member

What kind of change does this PR introduce?
bugfix, CI

Did you add tests for your changes?
yes

If relevant, did you update the documentation?
N/A

Summary
fix coverage for binCases
fix prettier for bin and test
fix lint for windows users
improve reporting for CI

Does this PR introduce a breaking change?
no

Other information

fix prettier for bin and test
fix lint for windows users
improve reporting for CI

@evenstensberg evenstensberg left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

LGTM

@evenstensberg
evenstensberg merged commit 7bd9a33 into master Jan 2, 2018
@ematipico
ematipico deleted the bugfix/coverage branch April 8, 2018 07:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants