Skip to content

Commit a0e57ba

Browse files
committed
mypy-ruff
1 parent faebe9b commit a0e57ba

File tree

2 files changed

+6
-5
lines changed

2 files changed

+6
-5
lines changed

codeflash/lsp/server_entry.py

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
1-
"""This script is the dedicated entry point for the Codeflash Language Server.
2-
It initializes the server and redirects its logs to stderr so that the
1+
"""Entry point for the Codeflash Language Server.
2+
3+
Initializes the server and redirects its logs to stderr so that the
34
VS Code client can display them in the output channel.
45
56
This script is run by the VS Code extension and is not intended to be
@@ -13,7 +14,7 @@
1314

1415

1516
# Configure logging to stderr for VS Code output channel
16-
def setup_logging():
17+
def setup_logging() -> logging.Logger:
1718
# Clear any existing handlers to prevent conflicts
1819
root_logger = logging.getLogger()
1920
root_logger.handlers.clear()

codeflash/telemetry/posthog_cf.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ def initialize_posthog(enabled: bool = True) -> None: # noqa: FBT001, FBT002
2121
return
2222

2323
global _posthog # noqa: PLW0603
24-
_posthog = Posthog(project_api_key="phc_aUO790jHd7z1SXwsYCz8dRApxueplZlZWeDSpKc5hol", host="https://us.posthog.com") # type: ignore # noqa: PGH003
24+
_posthog = Posthog(project_api_key="phc_aUO790jHd7z1SXwsYCz8dRApxueplZlZWeDSpKc5hol", host="https://us.posthog.com")
2525
_posthog.log.setLevel(logging.CRITICAL) # Suppress PostHog logging
2626
ph("cli-telemetry-enabled")
2727

@@ -41,6 +41,6 @@ def ph(event: str, properties: dict[str, Any] | None = None) -> None:
4141
user_id = get_user_id()
4242

4343
if user_id:
44-
_posthog.capture(distinct_id=user_id, event=event, properties=properties) # type: ignore # noqa: PGH003
44+
_posthog.capture(distinct_id=user_id, event=event, properties=properties)
4545
else:
4646
logger.debug("Failed to log event to PostHog: User ID could not be retrieved.")

0 commit comments

Comments
 (0)