Skip to content

Avoid showing traps in the top of the debugger#37

Merged
guillep merged 1 commit intomasterfrom
debugging
Dec 15, 2025
Merged

Avoid showing traps in the top of the debugger#37
guillep merged 1 commit intomasterfrom
debugging

Conversation

@guillep
Copy link
Contributor

@guillep guillep commented Dec 15, 2025

Add the annotation

@guillep guillep merged commit 438921b into master Dec 15, 2025
18 checks passed
@guillep guillep deleted the debugging branch December 16, 2025 07:41
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