Update CI configuration slightly #366
Merged
Codecov / codecov/patch
succeeded
Mar 10, 2024 in 1s
Coverage not affected when comparing b12491e...4f86ddf
View this Pull Request on Codecov
Coverage not affected when comparing b12491e...4f86ddf
Loading