[AUTO] pre-commit update#16

github-actions[bot] wants to merge 1 commit intomains-ccs/ThesisArt.jl:mainfrom

auto-pre-commit-updates-ccs/ThesisArt.jl:auto-pre-commit-updateCopy head branch name to clipboard