Skip to content

Update docs - #3555

Merged
galabovaa merged 1 commit into
latestfrom
win-dll
Nov 6, 2026
Merged

galabovaa merged 1 commit into
latestfrom
win-dll

Conversation

@galabovaa

@galabovaa galabovaa commented Nov 5, 2026 •

Copy link
Copy Markdown
Contributor

Description

Prompted by #3546

Report why highs_extras failed to load when HiPO is unavailable and update docs

Checklist

  • I have read the contributing guidelines
  • This PR targets the latest branch
  • Tests are passing
  • Documentation was updated where relevant
  • This PR is not primarily AI-generated (per the AI contributions policy in CONTRIBUTING.md)

@codecov

codecov Bot commented Nov 5, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 75.63%. Comparing base (8e12407) to head (bcd38be).
⚠️ Report is 6 commits behind head on latest.

Additional details and impacted files
@@           Coverage Diff           @@
##           latest    #3555   +/-   ##
=======================================
  Coverage   75.63%   75.63%           
=======================================
  Files         461      461           
  Lines      113772   113773    +1     
  Branches    17911    17911           
=======================================
+ Hits        86053    86056    +3     
+ Misses      27431    27429    -2     
  Partials      288      288           

☔ View full report in Codecov by Harness.
📢 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.

@galabovaa galabovaa self-assigned this Nov 5, 2026

@mathgeekcoder mathgeekcoder left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Looks good!

@galabovaa
galabovaa merged commit 1610cb9 into latest Nov 6, 2026
603 checks passed
@galabovaa
galabovaa deleted the win-dll branch November 6, 2026 15:33
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