Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

jenkins: fix coverage gcovr patches #1145

Closed
wants to merge 2 commits into from
Closed

Conversation

killagu
Copy link
Contributor

@killagu killagu commented Feb 23, 2018

@targos
Copy link
Member

targos commented Feb 23, 2018

LGTM if it works

killagu added a commit to killagu/node that referenced this pull request Feb 23, 2018
@mhdawson
Copy link
Member

I'll try to test this out later today.

mhdawson

This comment was marked as off-topic.

@mhdawson
Copy link
Member

Generated coverage successfully. @killagu many thanks for putting together the 2 PRs to fix this, landing

mhdawson pushed a commit that referenced this pull request Feb 28, 2018
PR-URL: #1145
Ref: nodejs/node#18938
Reviewed-By: Michael Dawson <[email protected]>
Reviewed-By: MichaëZasso <[email protected]>
@mhdawson
Copy link
Member

Landed as f577cb8

@mhdawson mhdawson closed this Feb 28, 2018
@killagu
Copy link
Contributor Author

killagu commented Feb 28, 2018

🎉🎉🎉

mhdawson pushed a commit to nodejs/node that referenced this pull request Feb 28, 2018
PR-URL: #18958
Fixes: #18938
Ref: nodejs/build#1145
Reviewed-By: Michael Dawson <[email protected]>
Reviewed-By: Daijiro Wachi <[email protected]>
addaleax pushed a commit to addaleax/node that referenced this pull request Mar 5, 2018
PR-URL: nodejs#18958
Fixes: nodejs#18938
Ref: nodejs/build#1145
Reviewed-By: Michael Dawson <[email protected]>
Reviewed-By: Daijiro Wachi <[email protected]>
MayaLekova pushed a commit to MayaLekova/node that referenced this pull request May 8, 2018
PR-URL: nodejs#18958
Fixes: nodejs#18938
Ref: nodejs/build#1145
Reviewed-By: Michael Dawson <[email protected]>
Reviewed-By: Daijiro Wachi <[email protected]>
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.

3 participants