CompatHelper: add new compat entry for JuMP at version 1, (keep existing compat)#3
Open
github-actions[bot] wants to merge 1 commit intomainfrom compathelper/new_version/2022-12-25-01-23-58-501-04053284992
+1
Commits
Commits on Dec 25, 2022
- committed
CompatHelper Julia