Skip to content

Add devtools profiler documentation #890

Merged
maxkatz6 merged 2 commits intomainfrom
devtools-profiler-doc
Mar 2, 2026
Merged

Add devtools profiler documentation #890
maxkatz6 merged 2 commits intomainfrom
devtools-profiler-doc

Conversation

@maxkatz6
Copy link
Member

@maxkatz6 maxkatz6 commented Mar 1, 2026

Adds missing documentation to a feature that was added to devtools some time ago.
There are no screenshots, as tool itself is rather a simple table and needs to be redesigned with better visuals.

@maxkatz6 maxkatz6 requested a review from luke-whos-here March 1, 2026 15:26
Co-authored-by: Luke <55367595+luke-whos-here@users.noreply.github.com>
@maxkatz6 maxkatz6 requested a review from luke-whos-here March 2, 2026 14:58
@maxkatz6 maxkatz6 merged commit 316b3b2 into main Mar 2, 2026
2 checks passed
luke-whos-here added a commit that referenced this pull request Mar 2, 2026
Replicate profiler tool documentation introduced in #890
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.

2 participants