Skip to content

Add NoDiscard attributes#13

Merged
Baptouuuu merged 1 commit intodevelopfrom
no-discard
Feb 15, 2026
Merged

Add NoDiscard attributes#13
Baptouuuu merged 1 commit intodevelopfrom
no-discard

Conversation

@Baptouuuu
Copy link
Member

No description provided.

@Baptouuuu Baptouuuu self-assigned this Feb 15, 2026
@Baptouuuu Baptouuuu merged commit 5a4bfd8 into develop Feb 15, 2026
38 checks passed
@Baptouuuu Baptouuuu deleted the no-discard branch February 15, 2026 16:09
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