CI: update the distro #165
Merged
Codecov / codecov/patch
succeeded
Apr 16, 2024 in 0s
Coverage not affected when comparing 90e9d6d...54322f1
View this Pull Request on Codecov
Coverage not affected when comparing 90e9d6d...54322f1
Loading