Skip to content

Conversation

@jankeu
Copy link
Contributor

@jankeu jankeu commented Aug 5, 2025

Replaces dependency anymap that has a critical vulnerability (CVE-2021-38187). anymap3 is a fork of the unmaintained anymap. It mostly shares the same API, so there's no need to adapt any Rust code in russcip.

@jankeu jankeu changed the title replace dependency anymap by anymap3 #261: replace dependency anymap by anymap3 Aug 5, 2025
@jankeu jankeu changed the title #261: replace dependency anymap by anymap3 resolves #261: replace dependency anymap by anymap3 Aug 5, 2025
@jankeu jankeu marked this pull request as ready for review August 5, 2025 07:58
@mmghannam
Copy link
Member

Thanks @jankeu! welcome to the contributors list :)

@mmghannam mmghannam merged commit 1202f85 into scipopt:main Aug 5, 2025
16 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