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

Replace coverage merge with coverage combine #112

Merged
merged 1 commit into from
Dec 18, 2017
Merged

Replace coverage merge with coverage combine #112

merged 1 commit into from
Dec 18, 2017

Conversation

13steinj
Copy link
Contributor

@13steinj 13steinj commented Oct 5, 2017

Whether "merge" is an old directive or just one mistaken for "combine", coverage merge would always fail as coveragepy does not have that as an actual command.

13steinj@13steinj:~/src/sithprof (bugfix/coverage_details)$ coverage merge
Unknown command: 'merge'
Use 'coverage help' for help.

@13steinj
Replace coverage merge with coverage combine
6354ac2 
Whether "merge" is an old directive or just one mistaken for "combine", `coverage merge` would always fail as coveragepy does not have that as an actual command.
@stevepeak stevepeak merged commit 2235d62 into codecov:master Dec 18, 2017
@alalazo alalazo mentioned this pull request Jan 10, 2018
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@13steinj @stevepeak