Skip to content

fix ci: drop the now-unused len() accessor - #15

Merged
marcuspat merged 4 commits into
mainfrom
fix/ci-clippy
Oct 4, 2026
Merged

marcuspat merged 4 commits into
mainfrom
fix/ci-clippy

Commits

  1. Commits on Oct 4, 2026