Fix mypy errors#293

Merged

pehrsoderman merged 3 commits intoKattis:developfrom

gkreitz:fix_mypy_errors

Apr 8, 2025

Commits on Mar 25, 2025

Add python tooling files (and vim swp files) to gitignore
gkreitz
committed
Fix signatures of run in VIVA and checktestdata to match superclass
gkreitz
committed
Fix/ignore type errors to let mypy catch errors everywhere but generatedata.py
gkreitz
committed