[AUTO] pre-commit update#240

github-actions[bot] wants to merge 1 commit into

mainJuliaSmoothOptimizers/JSOSuite.jl:mainfrom

auto-pre-commit-updateJuliaSmoothOptimizers/JSOSuite.jl:auto-pre-commit-updateCopy head branch name to clipboard