Add MINOTAUR to solver list #3546
Merged
Codecov / codecov/project
failed
Oct 20, 2023 in 0s
98.18% (-0.08%) compared to 53cb572
View this Pull Request on Codecov
98.18% (-0.08%) compared to 53cb572
Details
Codecov Report
All modified and coverable lines are covered by tests ✅
Comparison is base (
53cb572) 98.26% compared to head (14720d8) 98.18%.
Additional details and impacted files
@@ Coverage Diff @@
## master #3546 +/- ##
==========================================
- Coverage 98.26% 98.18% -0.08%
==========================================
Files 37 37
Lines 5580 5578 -2
==========================================
- Hits 5483 5477 -6
- Misses 97 101 +4 ☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.