ci: Fixes the writing of the coverage file #231
Merged
Codecov / codecov/patch
succeeded
Jan 24, 2024 in 0s
Coverage not affected when comparing 39669e3...bde780d
View this Pull Request on Codecov
Coverage not affected when comparing 39669e3...bde780d
Loading