Skip to content

Fix some typos - #3254

Merged
fwesselm merged 1 commit into
ERGO-Code:latestfrom
fwesselm:letsFixSomeTypos2
Sep 2, 2026
Merged

Fix some typos#3254
fwesselm merged 1 commit into
ERGO-Code:latestfrom
fwesselm:letsFixSomeTypos2

Conversation

@fwesselm

@fwesselm fwesselm commented Sep 2, 2026

Copy link
Copy Markdown
Collaborator

Description

Fix some typos.

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)

@fwesselm
fwesselm requested a review from jajhall September 2, 2026 12:20
@codecov

codecov Bot commented Sep 2, 2026

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 66.66667% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 73.27%. Comparing base (bf989e9) to head (57016c1).
⚠️ Report is 22 commits behind head on latest.

Files with missing lines Patch % Lines
highs/mip/MipTimer.h 0.00% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           latest    #3254      +/-   ##
==========================================
+ Coverage   73.24%   73.27%   +0.02%     
==========================================
  Files         445      445              
  Lines      108105   108191      +86     
  Branches    17328    17344      +16     
==========================================
+ Hits        79180    79274      +94     
+ Misses      28649    28641       -8     
  Partials      276      276              

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

@jajhall jajhall left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Thanks @fwesselm Although widespread, I don't think these will cause merge conflicts with any branches I'm working on

@fwesselm
fwesselm merged commit 6ef63c5 into ERGO-Code:latest Sep 2, 2026
520 of 522 checks passed
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