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

Resolve: stop trying to resolve an import directive after the resolution fails #31747

Merged
merged 2 commits into from
Feb 20, 2016

Conversation

jseyfried
Copy link
Contributor

Now that #31461 is merged, a failing resolution can never become indeterminate or succeed, so we no longer have to keep trying to resolve failing import directives.
r? @nrc

@nrc
Copy link
Member

nrc commented Feb 19, 2016

@bors: r+

@bors
Copy link
Collaborator

bors commented Feb 19, 2016

📌 Commit 5ad84f1 has been approved by nrc

@bors
Copy link
Collaborator

bors commented Feb 19, 2016

⌛ Testing commit 5ad84f1 with merge fff06cb...

@alexcrichton
Copy link
Member

@bors: retry force

@bors
Copy link
Collaborator

bors commented Feb 19, 2016

⌛ Testing commit 5ad84f1 with merge ead67e7...

@bors
Copy link
Collaborator

bors commented Feb 19, 2016

💔 Test failed - auto-linux-32-opt

@alexcrichton
Copy link
Member

@bors: retry

On Fri, Feb 19, 2016 at 11:39 AM, bors notifications@github.com wrote:

[image: 💔] Test failed - auto-linux-32-opt
http://buildbot.rust-lang.org/builders/auto-linux-32-opt/builds/8156


Reply to this email directly or view it on GitHub
#31747 (comment).

@bors
Copy link
Collaborator

bors commented Feb 20, 2016

⌛ Testing commit 5ad84f1 with merge 2d14b39...

bors added a commit that referenced this pull request Feb 20, 2016
Now that #31461 is merged, a failing resolution can never become indeterminate or succeed, so we no longer have to keep trying to resolve failing import directives.
r? @nrc
@bors bors merged commit 5ad84f1 into rust-lang:master Feb 20, 2016
@jseyfried jseyfried deleted the stop_resolve_after_fail branch February 20, 2016 21:19
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.

4 participants