Skip to content

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

Open
github-actions[bot] wants to merge 1 commit intomainfrom
compathelper/new_version/2025-10-28-01-24-42-044-02168121701
Open

CompatHelper: add new compat entry for JuMP at version 1, (keep existing compat)#11
github-actions[bot] wants to merge 1 commit intomainfrom
compathelper/new_version/2025-10-28-01-24-42-044-02168121701

Commits

Commits on Oct 28, 2025