Exclude tools dir fom codecov #1851
Merged
Codecov / codecov/patch
succeeded
Nov 25, 2024 in 0s
Coverage not affected when comparing 82234d4...71e1eb8
View this Pull Request on Codecov
Coverage not affected when comparing 82234d4...71e1eb8
Loading