Build(deps): Update highs requirement from 1.6.1 to 2.0.0#30
Merged
github-actions[bot] merged 1 commit intomainfrom Nov 24, 2025
Merged
Build(deps): Update highs requirement from 1.6.1 to 2.0.0#30github-actions[bot] merged 1 commit intomainfrom
github-actions[bot] merged 1 commit intomainfrom
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}