Fix workflow bug

pre-commit.ci informed me that line 51 of manim_slides/convert.py shouldn't have the no-type checker on my computer, but it is required on the workflow.
jeertmans · Nov 11, 2024 · c25bd5b · c25bd5b
1 parent 1bd6bf8
commit c25bd5b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/manim_slides/convert.py b/manim_slides/convert.py
@@ -48,7 +48,7 @@ def open_with_default(file: Path) -> None:
     if system == "Darwin":
         subprocess.call(("open", str(file)))
     elif system == "Windows":
-        os.startfile(str(file))
+        os.startfile(str(file))  # type: ignore[attr-defined]
     else:
         subprocess.call(("xdg-open", str(file)))