CompatHelper: bump compat for PrettyTables to 3, (keep existing compat)#156

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

compathelper/new_version/2025-09-23-00-30-15-828-01000803826GiggleLiu/ProblemReductions.jl:compathelper/new_version/2025-09-23-00-30-15-828-01000803826Copy head branch name to clipboard