Shorten the names of the tabs #691
Merged
Codecov / codecov/patch
succeeded
Jun 1, 2023 in 1s
Coverage not affected when comparing 353bb57...ab9a753
View this Pull Request on Codecov
Coverage not affected when comparing 353bb57...ab9a753
Loading