Skip to content

Remove collect_violations(..., into=) argument#365

Merged
stefanvanburen merged 3 commits into
mainfrom
svanburen/remove-into
Aug 27, 2025
Merged

Remove collect_violations(..., into=) argument#365
stefanvanburen merged 3 commits into
mainfrom
svanburen/remove-into

Commits

Commits on Aug 26, 2025