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

github-actions[bot] wants to merge 1 commit intomainJuliaLabs/StreamingSampling.jl:mainfrom

compathelper/new_version/2025-10-28-01-24-35-958-00083286800JuliaLabs/StreamingSampling.jl:compathelper/new_version/2025-10-28-01-24-35-958-00083286800Copy head branch name to clipboard