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

Rustup #3685

Merged
merged 3 commits into from
Jan 22, 2019
Merged

Rustup #3685

merged 3 commits into from
Jan 22, 2019

Conversation

oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Jan 22, 2019

No description provided.

@oli-obk
Copy link
Contributor Author

oli-obk commented Jan 22, 2019

@bors r+

@bors
Copy link
Collaborator

bors commented Jan 22, 2019

📌 Commit 38cdf63 has been approved by oli-obk

bors added a commit that referenced this pull request Jan 22, 2019
@bors
Copy link
Collaborator

bors commented Jan 22, 2019

⌛ Testing commit 38cdf63 with merge 46b62b7...

@matthiaskrgr
Copy link
Member

Needs rustfmt run it seems ^^

@bors
Copy link
Collaborator

bors commented Jan 22, 2019

💔 Test failed - checks-travis

@flip1995
Copy link
Member

@bors retry

@flip1995
Copy link
Member

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Jan 22, 2019

📌 Commit d6c8063 has been approved by flip1995

flip1995 added a commit to flip1995/rust-clippy that referenced this pull request Jan 22, 2019
bors added a commit that referenced this pull request Jan 22, 2019
Rollup of 4 pull requests

Successful merges:

 - #3582 (Add assert(true) and assert(false) lints)
 - #3679 (Fix automatic suggestion on `use_self`.)
 - #3684 ("make_return" and "blockify" convenience methods, fixes #3683)
 - #3685 (Rustup)

Failed merges:

r? @ghost
@bors
Copy link
Collaborator

bors commented Jan 22, 2019

⌛ Testing commit d6c8063 with merge 280069d...

bors added a commit that referenced this pull request Jan 22, 2019
@bors
Copy link
Collaborator

bors commented Jan 22, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: flip1995
Pushing 280069d to master...

@bors bors merged commit d6c8063 into master Jan 22, 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.

4 participants