Make sure Gradio is capitalized (#9808)

emilk · web-flow · commit 35a1414b7067 · 2025-04-25T09:21:12.000+02:00
* Lint fix needed to get #9790 to pass
diff --git a/scripts/lint.py b/scripts/lint.py
@@ -676,11 +676,13 @@ def lint_workspace_lints(cargo_file_content: str) -> str | None:
     "CI",
     "Colab",
     "Google",
+    "Gradio",
     "gRPC",
     "GUI",
     "GUIs",
     "July",
     "Jupyter",
+    "LeRobot",
     "Linux",
     "Mac",
     "macOS",
