linter: unused-parameter - #832

Merged

mzihlmann merged 1 commit into

mainfrom

lint-unused-param

Jul 14, 2026

Codecov / codecov/patch succeeded Jul 14, 2026 in 1s

75.00% of diff hit (target 61.18%)

View this Pull Request on Codecov

75.00% of diff hit (target 61.18%)

View more details on Codecov