Skip to content

CompatHelper: bump compat for JuMP to 1, (keep existing compat)#101

Open
github-actions[bot] wants to merge 2 commits intodevelopfrom compathelper/new_version/2022-10-08-01-02-19-316-01315948050