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

Remove allow in option_option lint test #6303

Merged
merged 1 commit into from
Nov 10, 2020

Conversation

ThibsG
Copy link
Contributor

@ThibsG ThibsG commented Nov 6, 2020

As it is not triggering locally anymore, I propose to remove #[allow(clippy::option_option)] from the test.

The goal is also to see what happens on CI.

closes: #4298

changelog: none

@rust-highfive
Copy link

r? @ebroto

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

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Nov 6, 2020
@ebroto
Copy link
Member

ebroto commented Nov 10, 2020

@bors r+

Thanks!

@bors
Copy link
Contributor

bors commented Nov 10, 2020

📌 Commit 8242b2f has been approved by ebroto

@bors
Copy link
Contributor

bors commented Nov 10, 2020

⌛ Testing commit 8242b2f with merge 6b2fe93...

bors added a commit that referenced this pull request Nov 10, 2020
Remove `allow` in `option_option` lint test

As it is not triggering locally anymore, I propose to remove `#[allow(clippy::option_option)]` from the test.

The goal is also to see what happens on CI.

closes: #4298

changelog: none
@bors
Copy link
Contributor

bors commented Nov 10, 2020

💡 This pull request was already approved, no need to approve it again.

  • This pull request is currently being tested. If there's no response from the continuous integration service, you may use retry to trigger a build again.

@bors
Copy link
Contributor

bors commented Nov 10, 2020

📌 Commit 8242b2f has been approved by ebroto

@bors
Copy link
Contributor

bors commented Nov 10, 2020

⌛ Testing commit 8242b2f with merge d0858d0...

@ebroto ebroto removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Nov 10, 2020
@bors
Copy link
Contributor

bors commented Nov 10, 2020

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: ebroto
Pushing d0858d0 to master...

@bors bors merged commit d0858d0 into rust-lang:master Nov 10, 2020
@ThibsG ThibsG deleted the OptionOptionSerde branch November 11, 2020 08:12
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.

#[allow(clippy::option_option)] not working when paired with #[serde(deserialize_with)]
4 participants