Skip to content

[Local profiler] Filter sections by name#45

Merged
alexisbernard merged 40 commits into
masterfrom
filter_text
Jul 17, 2026
Merged

[Local profiler] Filter sections by name#45
alexisbernard merged 40 commits into
masterfrom
filter_text

Conversation

@antoinem

Copy link
Copy Markdown
Member

No description provided.

@antoinem
antoinem requested a review from alexisbernard May 29, 2026 13:46
@alexisbernard
alexisbernard merged commit 6437512 into master Jul 17, 2026
40 checks passed
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