Skip to content

Unpin highs version #1431

New issue
New issue
Closed
#1471
Closed
Unpin highs version#1431
#1471
Assignees
tsmbland

Description

@alexdewar
alexdewar
opened on Jul 21, 2026

The highs dependency is currently pinned to 2.3.0, because 2.4.0 increases the minimum version of highs-sys and this seemingly leads to different results on different platforms (#1174).

Once we've fixed #1174, we should unpin highs again.

Activity

  1. github-project-automation
    added this to MUSEon Jul 21, 2026
  2. github-project-automation
    moved this to 📋 Backlog in MUSEon Jul 21, 2026
  3. alexdewar
    marked this as blocked on Jul 21, 2026
  4. alexdewar
    moved this from 📋 Backlog to On hold in MUSEon Jul 21, 2026
  5. tsmbland
    self-assigned this
    on Aug 13, 2026
  6. tsmbland
    linked a pull request that will close this issueUnpin highs #1471on Aug 14, 2026
  7. tsmbland
    moved this from On hold to 👀 In review in MUSEon Aug 18, 2026
  8. tsmbland
    closed this as completedin #1471on Aug 19, 2026
  9. github-project-automation
    moved this from 👀 In review to ✅ Done in MUSEon Aug 19, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

  • MUSE
    Status
    ✅ Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions