Skip to content

test: Ignore pretty-huge-vec.rs to fix nightlies #34663

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

Closed
wants to merge 1 commit into from

Conversation

alexcrichton
Copy link
Member

This ignores a test added in #34639 because unfortunately the nightly bots are
now broken, but this is now tracked in #34662.

This ignores a test added in rust-lang#34639 because unfortunately the nightly bots are
now broken, but this is now tracked in rust-lang#34662.
@rust-highfive
Copy link
Contributor

r? @nikomatsakis

(rust_highfive has picked a reviewer for you, use r? to override)

@alexcrichton
Copy link
Member Author

cc @dzamlo, @michaelwoerister

r? @brson

@rust-highfive rust-highfive assigned brson and unassigned nikomatsakis Jul 5, 2016
@alexcrichton
Copy link
Member Author

Note that if we manage to resolve the underlying issue before this PR lands, I'd love to close this without merging :)

@brson
Copy link
Contributor

brson commented Jul 5, 2016

@bors r+ p=1

@bors
Copy link
Collaborator

bors commented Jul 5, 2016

📌 Commit 054c473 has been approved by brson

@dzamlo
Copy link
Contributor

dzamlo commented Jul 5, 2016

I think the PR #34669, should fix the issue and should be merged instead of this one.

@bors
Copy link
Collaborator

bors commented Jul 5, 2016

⌛ Testing commit 054c473 with merge 651dd3f...

bors added a commit that referenced this pull request Jul 5, 2016
test: Ignore pretty-huge-vec.rs to fix nightlies

This ignores a test added in #34639 because unfortunately the nightly bots are
now broken, but this is now tracked in #34662.
@alexcrichton
Copy link
Member Author

@bors: r- force

@dzamlo ah yeah I agree, was just out to lunch but I'll kill this now.

@bors
Copy link
Collaborator

bors commented Jul 5, 2016

⛄ The build was interrupted to prioritize another pull request.

@alexcrichton
Copy link
Member Author

Closing in favor of #34669

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.

6 participants