CompatHelper: add new compat entry for JuMP at version 1, (keep existing compat)#2
Open
github-actions[bot] wants to merge 1 commit intodevfrom compathelper/new_version/2023-06-17-01-05-38-182-03985751501
+1
Commits
Commits on Jun 17, 2023
- committed
CompatHelper Julia