Skip to content

Conversation

@gnzlbg
Copy link
Contributor

@gnzlbg gnzlbg commented Jul 3, 2019

Give something like this a try for a week. If you stop seeing failures, then you probably have a race condition somewhere (not necessarily here, but in one of the dependencies, libtest, etc.).

r? @kinnison

@bors
Copy link
Contributor

bors commented Jul 28, 2019

☔ The latest upstream changes (presumably #1955) made this pull request unmergeable. Please resolve the merge conflicts.

@kinnison
Copy link
Contributor

I've merged something less drastic but similar to this. We'll be keeping an eye on this as we really do need to track down what's going on.

@kinnison kinnison closed this Jul 28, 2019
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