[AUTO] pre-commit update#172

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

mainJuliaSmoothOptimizers/AdaptiveRegularization.jl:mainfrom

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