Repository navigation

Chores (mainly migrating to prek) - #845

Merged

CoMPaTech merged 4 commits into

mainfrom

Jan 18, 2026

Merged

Chores (mainly migrating to prek)#845
CoMPaTech merged 4 commits into
mainfrom
prek

Codecov / codecov/patch succeeded Jan 14, 2026 in 0s

Coverage not affected when comparing 6b26e2b...371f99e

View this Pull Request on Codecov

Coverage not affected when comparing 6b26e2b...371f99e

View more details on Codecov