Skip to content

Update generated lints#22436

Merged
lnicola merged 1 commit into
masterfrom
ci/gen-lints
May 24, 2026
Merged

Update generated lints#22436
lnicola merged 1 commit into
masterfrom
ci/gen-lints

Conversation

@workflows-rust-analyzer
Copy link
Copy Markdown
Contributor

Weekly lint updates for crates/ide-db/src/generated/lints.rs.

@workflows-rust-analyzer workflows-rust-analyzer Bot added the A-infra CI and workflow issues label May 24, 2026
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 24, 2026
@lnicola lnicola added this pull request to the merge queue May 24, 2026
Merged via the queue into master with commit a34f525 May 24, 2026
19 checks passed
@lnicola lnicola deleted the ci/gen-lints branch May 24, 2026 03:15
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-infra CI and workflow issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants