Skip to content

Fix: ignore exception on maybe_raise_or_warn#19

Merged
painebenjamin merged 1 commit intomainfrom
ignore-maybe-raise-exception
Dec 3, 2025
Merged

Fix: ignore exception on maybe_raise_or_warn#19
painebenjamin merged 1 commit intomainfrom
ignore-maybe-raise-exception

Conversation

@painebenjamin
Copy link
Contributor

No description provided.

@painebenjamin painebenjamin merged commit 3a5d12b into main Dec 3, 2025
1 check passed
@painebenjamin painebenjamin deleted the ignore-maybe-raise-exception branch December 3, 2025 22:07
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