Switch from ubuntu-latest to ubuntu-22.04 #5675
Merged
Codecov / codecov/patch
succeeded
Nov 26, 2024 in 1s
Coverage not affected when comparing 0dded2d...b791867
View this Pull Request on Codecov
Coverage not affected when comparing 0dded2d...b791867
Loading