fix build all option #1730
+1
−0
Merged
fix build all option #1730
Codecov / codecov/patch
succeeded
Nov 23, 2023 in 0s
Coverage not affected when comparing 22eed15...9339f77
View this Pull Request on Codecov
Coverage not affected when comparing 22eed15...9339f77
Loading