Skip to content

Conversation

@gkreitz
Copy link
Contributor

@gkreitz gkreitz commented Mar 25, 2025

Fixes (or ignores, where I felt that was more appropriate) type errors to allow us to run mypy on almost all files. After this PR, the only file ignored is generatedata.py, which is currently not working.

I also snuck in an updated gitignore, ignoring vim swap files and files created by python tooling.

@pehrsoderman pehrsoderman merged commit 4c0cc40 into Kattis:develop Apr 8, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants