Skip to content

chore: Don't compile puffin when profiling is off#408

Merged
PolyMeilex merged 1 commit into
masterfrom
chore-profiling
Jul 17, 2026
Merged

chore: Don't compile puffin when profiling is off#408
PolyMeilex merged 1 commit into
masterfrom
chore-profiling

Conversation

@PolyMeilex

Copy link
Copy Markdown
Owner

No description provided.

@PolyMeilex
PolyMeilex enabled auto-merge (squash) July 17, 2026 01:30
@PolyMeilex
PolyMeilex merged commit 88ede87 into master Jul 17, 2026
6 checks passed
@PolyMeilex
PolyMeilex deleted the chore-profiling branch July 17, 2026 01:34
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