Skip to content

Acknowledge removal of a clippy lint#388

Merged
HadrienG2 merged 1 commit into
mainfrom
removed-clippy-lint
Jun 21, 2026
Merged

Acknowledge removal of a clippy lint#388
HadrienG2 merged 1 commit into
mainfrom
removed-clippy-lint

Remove removed clippy lint

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

Annotations

1 warning
test-coverage (ubuntu-latest)
succeeded Jun 21, 2026 in 2m 2s