test: skip failing MiniZinc tests #305
Merged
Codecov / codecov/project
succeeded
Feb 27, 2026 in 0s
53.71% (+0.00%) compared to 4789944
View this Pull Request on Codecov
53.71% (+0.00%) compared to 4789944
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 53.71%. Comparing base (4789944) to head (8081e26).
Additional details and impacted files
@@ Coverage Diff @@
## main #305 +/- ##
=======================================
Coverage 53.71% 53.71%
=======================================
Files 20 20
Lines 2139 2139
=======================================
Hits 1149 1149
Misses 990 990 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.
🚀 New features to boost your workflow:
- ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
Loading