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 run-rustfix for len_zero lint #3978

Merged
merged 1 commit into from
Apr 18, 2019
Merged

Conversation

phansch
Copy link
Member

@phansch phansch commented Apr 16, 2019

  • Extracts len_without_is_empty into separate file
  • Adds // run-rustfix to tests/ui/len_zero.rs

cc #3630

* Extracts len_without_is_empty into separate file
* Adds `// run-rustfix` to `tests/ui/len_zero.rs`
@phansch phansch added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Apr 17, 2019
@flip1995
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Apr 18, 2019

📌 Commit bae7d29 has been approved by flip1995

bors added a commit that referenced this pull request Apr 18, 2019
Add run-rustfix for len_zero lint

* Extracts len_without_is_empty into separate file
* Adds `// run-rustfix` to `tests/ui/len_zero.rs`

cc #3630
@bors
Copy link
Contributor

bors commented Apr 18, 2019

⌛ Testing commit bae7d29 with merge 38d26df...

@bors
Copy link
Contributor

bors commented Apr 18, 2019

💥 Test timed out

@flip1995
Copy link
Member

@bors retry

@bors
Copy link
Contributor

bors commented Apr 18, 2019

⌛ Testing commit bae7d29 with merge 77fbdb6...

bors added a commit that referenced this pull request Apr 18, 2019
Add run-rustfix for len_zero lint

* Extracts len_without_is_empty into separate file
* Adds `// run-rustfix` to `tests/ui/len_zero.rs`

cc #3630
@bors
Copy link
Contributor

bors commented Apr 18, 2019

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

@bors bors merged commit bae7d29 into rust-lang:master Apr 18, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants