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

Add tested item in the rustdoc --test output #39743

Merged
merged 1 commit into from Feb 12, 2017

Conversation

GuillaumeGomez
Copy link
Member

@alexcrichton
Copy link
Member

@bors: r+

@bors
Copy link
Contributor

bors commented Feb 11, 2017

📌 Commit c951ed7 has been approved by alexcrichton

@bors
Copy link
Contributor

bors commented Feb 11, 2017

⌛ Testing commit c951ed7 with merge 10169bb...

@bors
Copy link
Contributor

bors commented Feb 11, 2017

💔 Test failed - status-appveyor

@GuillaumeGomez
Copy link
Member Author

@bors: retry

@bors
Copy link
Contributor

bors commented Feb 11, 2017

⌛ Testing commit c951ed7 with merge 31549d7...

bors added a commit that referenced this pull request Feb 11, 2017
@bors
Copy link
Contributor

bors commented Feb 11, 2017

💔 Test failed - status-appveyor

@alexcrichton
Copy link
Member

alexcrichton commented Feb 11, 2017 via email

@GuillaumeGomez
Copy link
Member Author

Let's give it another try and hope appveyor issue is over...

@bors: retry

@GuillaumeGomez
Copy link
Member Author

Seems like bors isn't responding... Let's try something out!

@bors: r+ force

GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request Feb 12, 2017
… r=alexcrichton

Add tested item in the rustdoc --test output

r? @alexcrichton

cc @SergioBenitez
bors added a commit that referenced this pull request Feb 12, 2017
Rollup of 7 pull requests

- Successful merges: #39654, #39662, #39697, #39740, #39743, #39756, #39760
- Failed merges:
@bors bors merged commit c951ed7 into rust-lang:master Feb 12, 2017
@GuillaumeGomez GuillaumeGomez deleted the rustdoc-test-output branch February 13, 2017 10:54
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.

None yet

3 participants