Skip to content

Comments

Add typechecking, resolves #27#37

Merged
lihaobhsfer merged 15 commits intomainfrom
typechecking
Apr 21, 2025
Merged

Add typechecking, resolves #27#37
lihaobhsfer merged 15 commits intomainfrom
typechecking

Conversation

@lihaobhsfer
Copy link
Collaborator

  • Upgrade python
  • Initial typecheck setup with fixes
  • Add linter
  • Use new venv
  • ignore ruff cache
  • Fix typechecking for ai_player
  • Fix typchecking for game_state
  • Fix test cases for scuttles
  • Delete fixed modules from mypy overrides
  • Fix mypy errors in source files apart from tests
  • Fix some type errors in tests
  • Fix remaining typechecking issues
  • Shorten ai player test

@lihaobhsfer lihaobhsfer merged commit 9f4f458 into main Apr 21, 2025
2 checks passed
@lihaobhsfer lihaobhsfer deleted the typechecking branch April 21, 2025 03:06
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.

1 participant