Skip to content

readme: move "how to run single lint" instructions to "Allowing/denying lints" section. #5384

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

Merged
merged 1 commit into from
Mar 29, 2020

Conversation

matthiaskrgr
Copy link
Member

changelog: none

@matthiaskrgr
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Mar 29, 2020

📌 Commit f752661 has been approved by matthiaskrgr

bors added a commit that referenced this pull request Mar 29, 2020
readme: move "how to run single lint" instructions to "Allowing/denying lints" section.

changelog: none
@bors
Copy link
Contributor

bors commented Mar 29, 2020

⌛ Testing commit f752661 with merge a9eb494...

@bors
Copy link
Contributor

bors commented Mar 29, 2020

💔 Test failed - checks-action_remark_test

@matthiaskrgr
Copy link
Member Author

@bors retry

@matthiaskrgr
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Mar 29, 2020

📌 Commit 8fbf02c has been approved by matthiaskrgr

@bors
Copy link
Contributor

bors commented Mar 29, 2020

⌛ Testing commit 8fbf02c with merge 6527c3d...

@bors
Copy link
Contributor

bors commented Mar 29, 2020

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: matthiaskrgr
Pushing 6527c3d to master...

@bors bors merged commit 6527c3d into rust-lang:master Mar 29, 2020
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.

2 participants