Adapt to generic Makefiles #565
Merged
Codecov / codecov/patch
succeeded
Dec 21, 2023 in 1s
Coverage not affected when comparing 796554b...f68ccc1
View this Pull Request on Codecov
Coverage not affected when comparing 796554b...f68ccc1
Loading