Skip to content

fix(parser): tree being deleted before analysis completion#5099

Merged
robert-hebel-sb merged 1 commit intomainfrom
fix/optimize-tree-deletion
Jan 16, 2026
Merged

fix(parser): tree being deleted before analysis completion#5099
robert-hebel-sb merged 1 commit intomainfrom
fix/optimize-tree-deletion

Conversation

@robert-hebel-sb
Copy link
Contributor

No description provided.

@robert-hebel-sb robert-hebel-sb added the bug Something isn't working label Jan 16, 2026
@robert-hebel-sb robert-hebel-sb merged commit 5bf6eaf into main Jan 16, 2026
9 checks passed
@robert-hebel-sb robert-hebel-sb deleted the fix/optimize-tree-deletion branch January 16, 2026 15:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants