Replace pyre with pyrefly

Author: BurnySc2

.pre-commit-config.yaml

@@ -50,9 +50,10 @@ repos:
     entry: uv run ruff check .
     pass_filenames: false
 
-  - id: pyre
-    name: Static types checking with pyre
-    stages: [push]
-    language: system
-    entry: uv run pyre
-    pass_filenames: false
+  # TODO Fix issues
+  # - id: pyrefly
+  #   name: Static types checking with pyrefly
+  #   stages: [push]
+  #   language: system
+  #   entry: uv run pyrefly check
+  #   pass_filenames: false

pyproject.toml

@@ -50,7 +50,7 @@ dev = [
     "pyglet>=2.0.20",
     "pylint>=3.3.2",
     # Type checker
-    "pyre-check>=0.9.23",
+    "pyrefly>=0.21.0",
     "pytest>=8.3.4",
     "pytest-asyncio>=0.25.0",
     "pytest-benchmark>=5.1.0",
@@ -86,6 +86,9 @@ split_arguments_when_comma_terminated = true
 dedent_closing_brackets = true
 allow_split_before_dict_value = false
 
+[tool.pyrefly]
+project_includes = ["sc2", "examples", "test"]
+
 [tool.ruff]
 target-version = 'py310'
 line-length = 120