Skip to content

Add server profiling#2875

Merged
r4victor merged 1 commit intomasterfrom
pr_profiling
Jul 4, 2025
Merged

Add server profiling#2875
r4victor merged 1 commit intomasterfrom
pr_profiling

Conversation

@r4victor
Copy link
Copy Markdown
Collaborator

@r4victor r4victor commented Jul 4, 2025

The PR allows profiling server endpoints with pyinstrument by setting DSTACK_SERVER_PROFILING_ENABLED and passing ?profile=1 to requests.

@r4victor r4victor merged commit f5c8fcf into master Jul 4, 2025
25 checks passed
@r4victor r4victor deleted the pr_profiling branch July 4, 2025 07:28
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