Fix github release script #1492
Merged
Codecov / codecov/patch
succeeded
May 21, 2024 in 0s
Coverage not affected when comparing ef3eb92...5d83e0f
View this Pull Request on Codecov
Coverage not affected when comparing ef3eb92...5d83e0f
Loading