Minor fixes for setup_native.sh #1180
Merged
Codecov / codecov/patch
succeeded
Sep 18, 2024 in 1s
Coverage not affected when comparing 4596d0c...6dd71f1
View this Pull Request on Codecov
Coverage not affected when comparing 4596d0c...6dd71f1
Loading