Code coverage profile is broken #849

Closed
fnothaft opened this Issue Oct 6, 2015 · 2 comments

Comments

Projects
None yet
2 participants
@heuermh

This comment has been minimized.

Show comment
Hide comment
@heuermh

heuermh May 18, 2016

Member

Based on conversation with @ryan-williams elsewhere we should just remove the coverage stuff.

Member

heuermh commented May 18, 2016

Based on conversation with @ryan-williams elsewhere we should just remove the coverage stuff.

@heuermh

This comment has been minimized.

Show comment
Hide comment
@heuermh

heuermh Aug 25, 2016

Member

Fixed for reals by #1125

Member

heuermh commented Aug 25, 2016

Fixed for reals by #1125

@heuermh heuermh reopened this Aug 25, 2016

@heuermh heuermh closed this Aug 25, 2016

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