Repository navigation
Run make quality before every commit with a git pre-commit hook - #4207
Merged
Merged
Codecov / codecov/patch
succeeded
Nov 6, 2026 in 1s
Coverage not affected when comparing e5a00db...fc36ee4
View this Pull Request on Codecov
Coverage not affected when comparing e5a00db...fc36ee4
Loading