Skip to content

Merge branch 'main' into jg/handleunbnd

41c2e9c
Select commit
Loading
Failed to load commit list.
Merged

Handle unboundedness in Infeasibility analysis #37

Merge branch 'main' into jg/handleunbnd
41c2e9c
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project failed May 28, 2025 in 0s

98.41% (-0.12%) compared to 9e71fb5

View this Pull Request on Codecov

98.41% (-0.12%) compared to 9e71fb5

Details

Codecov Report

Attention: Patch coverage is 93.54839% with 2 lines in your changes missing coverage. Please review.

Project coverage is 98.41%. Comparing base (9e71fb5) to head (41c2e9c).

Files with missing lines Patch % Lines
src/infeasibility.jl 93.54% 2 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main      #37      +/-   ##
==========================================
- Coverage   98.52%   98.41%   -0.12%     
==========================================
  Files           7        7              
  Lines        1357     1384      +27     
==========================================
+ Hits         1337     1362      +25     
- Misses         20       22       +2     

☔ 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.