Fix CI tests#288

Merged

gkreitz merged 2 commits intoKattis:developfrom

gkreitz:add_missing_dependency

Mar 17, 2025

Commits on Mar 17, 2025

Explicitly install build-essential, as deb building blows up on it not being installed
gkreitz
committed
Remove test of verifyproblem.generators (which has been removed)
gkreitz
committed