Repository navigation

fix ci: clippy denies in the vacuum filter chain - #14

Merged

marcuspat merged 3 commits into

mainfrom

Oct 4, 2026

Merged

fix ci: clippy denies in the vacuum filter chain#14
marcuspat merged 3 commits into
mainfrom
fix/ci-clippy

Commits on Oct 4, 2026