Don't exit script when c extension detected #467
Merged
Codecov / codecov/patch
succeeded
Oct 24, 2025 in 0s
Coverage not affected when comparing 95e5b02...c1cdbbd
View this Pull Request on Codecov
Coverage not affected when comparing 95e5b02...c1cdbbd
Loading