Skip to content

Fix build with profiling#401

Merged
9seconds merged 1 commit intomasterfrom
fix-prof
Mar 24, 2026
Merged

Fix build with profiling#401
9seconds merged 1 commit intomasterfrom
fix-prof

Conversation

@9seconds
Copy link
Copy Markdown
Owner

Apparently, linter have not detected this issue

@9seconds 9seconds merged commit 27d10e6 into master Mar 24, 2026
7 checks passed
@9seconds 9seconds deleted the fix-prof branch March 24, 2026 19:50
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