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

Report coverage correctly #644

Merged
merged 4 commits into from
Nov 10, 2015
Merged

Report coverage correctly #644

merged 4 commits into from
Nov 10, 2015

Conversation

tomwilkie
Copy link
Contributor

Coverage reports need to contain output from both shards, but due to a change in circle the other shard was getting stopped before we attempted to collect the reports.

WEAVE_NO_FASTDP=true weave_on $HOST1 launch $HOST1 $HOST2
WEAVE_NO_FASTDP=true weave_on $HOST2 launch $HOST1 $HOST2
WEAVE_NO_FASTDP=true WEAVE_DOCKER_ARGS=$ADD_HOST_ARGS weave_on $HOST1 launch $HOST1 $HOST2
WEAVE_NO_FASTDP=true WEAVE_DOCKER_ARGS=$ADD_HOST_ARGS weave_on $HOST2 launch $HOST1 $HOST2

This comment was marked as abuse.

This comment was marked as abuse.

@paulbellamy
Copy link
Contributor

LGTM

tomwilkie added a commit that referenced this pull request Nov 10, 2015
@tomwilkie tomwilkie merged commit f274c50 into master Nov 10, 2015
@tomwilkie tomwilkie deleted the coverage branch November 10, 2015 13:45
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