Windows CI: Avoid downgrading mingw in CI #2596
Merged
Codecov / codecov/patch
succeeded
Oct 30, 2023 in 1s
Coverage not affected when comparing ca5730e...5f839e4
View this Pull Request on Codecov
Coverage not affected when comparing ca5730e...5f839e4
Loading