Skip to content

CompatHelper: add new compat entry for JuMP at version 1, (keep existing compat)#8

Open
github-actions[bot] wants to merge 1 commit intomasterfrom compathelper/new_version/2024-10-16-00-49-35-191-03499850480

Commits

Commits on Oct 16, 2024