Run all of verifyproblem for 2023-07 problems (even if we do not support many 2023-07 features)#306

pehrsoderman merged 4 commits into

Kattis:developKattis/problemtools:developfrom

gkreitz:verify_2023_hello_worldgkreitz/problemtools:verify_2023_hello_worldCopy head branch name to clipboard