Skip to content

Change names to Metis api#2825

Merged
jajhall merged 1 commit intolatestfrom
metis-names
Feb 8, 2026
Merged

Change names to Metis api#2825
jajhall merged 1 commit intolatestfrom
metis-names

Conversation

@filikat
Copy link
Copy Markdown
Collaborator

@filikat filikat commented Feb 8, 2026

Change names to Metis API within HiGHS, to avoid conflicting with external Metis when HiGHS is linked in some other project.

Closes #2823.

@filikat
Copy link
Copy Markdown
Collaborator Author

filikat commented Feb 8, 2026

@amontoison Is this ok? Let me know if anything else needs to be changed.
If the name conflict is a big problem, we can make a patch, but the next release should come shortly anyway.

@codecov
Copy link
Copy Markdown

codecov Bot commented Feb 8, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 80.25%. Comparing base (5e3106b) to head (61c1358).
⚠️ Report is 6 commits behind head on latest.

Additional details and impacted files
@@           Coverage Diff           @@
##           latest    #2825   +/-   ##
=======================================
  Coverage   80.24%   80.25%           
=======================================
  Files         348      348           
  Lines       86186    86189    +3     
=======================================
+ Hits        69164    69169    +5     
+ Misses      17022    17020    -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.

Copy link
Copy Markdown
Member

@jajhall jajhall left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

All fine by me

@jajhall jajhall merged commit b89f68d into latest Feb 8, 2026
393 checks passed
@jajhall jajhall deleted the metis-names branch February 8, 2026 14:44
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.

2 participants