Skip to content

Add support for mosek#233

Merged
staadecker merged 10 commits intomainfrom
ms/mosek
Mar 25, 2026
Merged

Add support for mosek#233
staadecker merged 10 commits intomainfrom
ms/mosek

Conversation

@staadecker
Copy link
Copy Markdown
Member

No description provided.

@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Mar 25, 2026

Lines Of Code

Language Files Lines Code Comments Blanks Complexity Bytes
CSV 39 (-3) 9031 (-4383) 9031 (-4383) 0 0 0 233.1K (-155.8K)
Markdown 34 1889 (+13) 1275 (+8) 0 614 (+5) 0 75.3K (+649B)
Python 49 9145 (+110) 8173 (+110) 374 598 350 (+5) 328.5K (+4.4K)
Solidity 26 (-10) 4906 (-32938) 4876 (-32932) 0 30 (-6) 0 57.8K (-820.6K)
YAML 23 1011 (+1) 815 (+24) 131 (-23) 65 0 32.4K (+9B)

@codecov
Copy link
Copy Markdown

codecov bot commented Mar 25, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 96.78%. Comparing base (6da89de) to head (450d7c9).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #233      +/-   ##
==========================================
+ Coverage   96.71%   96.78%   +0.06%     
==========================================
  Files          10       10              
  Lines        1585     1616      +31     
==========================================
+ Hits         1533     1564      +31     
  Misses         52       52              
Flag Coverage Δ
smart-tests 96.78% <100.00%> (+0.06%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

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

@staadecker staadecker merged commit 1c4035e into main Mar 25, 2026
9 checks passed
@staadecker staadecker deleted the ms/mosek branch March 25, 2026 21:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant