Skip to content

Conversation

MartinNowak
Copy link
Member

No description provided.

@MartinNowak
Copy link
Member Author

I reenabled coverage as PR test now that the merging of reports works.

@MartinNowak
Copy link
Member Author

We don't get coverage for the gdc/ldc code b/c it's in a separate build btw.

s-ludwig added a commit that referenced this pull request Oct 11, 2015
@s-ludwig s-ludwig merged commit f383018 into master Oct 11, 2015
@MartinNowak MartinNowak deleted the MartinNowak-patch-1 branch October 17, 2015 18:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants