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.

Sign up for GitHub

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

Jump to bottom

chore: fix clippy #10532

Merged
merged 1 commit into from
Aug 26, 2024
Merged

chore: fix clippy #10532

merged 1 commit into from
Aug 26, 2024

Conversation

rkrasiuk
Copy link
Member

Description

  • Allow newly introduced too_long_first_doc_paragraph lint (too pedantic)
  • Inherit workspace lints in reth-etl

@rkrasiuk rkrasiuk added A-meta Changes in the contributor workflow and planning A-ci Related to github workflows or other build and lint tools labels Aug 26, 2024
@rkrasiuk rkrasiuk enabled auto-merge August 26, 2024 06:34
@rkrasiuk rkrasiuk added this pull request to the merge queue Aug 26, 2024
Merged via the queue into main with commit 1216273 Aug 26, 2024
35 checks passed
@rkrasiuk rkrasiuk deleted the rkrasiuk/fix-clippy branch August 26, 2024 07:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mattsse mattsse mattsse approved these changes

@joshieDo joshieDo Awaiting requested review from joshieDo joshieDo is a code owner

@shekhirin shekhirin Awaiting requested review from shekhirin shekhirin is a code owner

@gakonst gakonst Awaiting requested review from gakonst gakonst is a code owner

Assignees
No one assigned
Labels
A-ci Related to github workflows or other build and lint tools A-meta Changes in the contributor workflow and planning
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@rkrasiuk @mattsse