Skip to content

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

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

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

Commits

Commits on Aug 26, 2025