Skip to content

chore: Suppress new clippy lints#3815

Merged
larseggert merged 1 commit into
mozilla:mainfrom
larseggert:chore-clippy
Jul 16, 2026
Merged

chore: Suppress new clippy lints#3815
larseggert merged 1 commit into
mozilla:mainfrom
larseggert:chore-clippy

chore: Suppress new clippy lints

ced8d47
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
claude-review / Claude Code Review
succeeded Jul 16, 2026 in 1m 50s