Skip to content

Conversation

NinoFloris
Copy link
Member

Fixes #3135

@NinoFloris NinoFloris force-pushed the remove-mono-workaround branch from 623e105 to a7cd2af Compare March 29, 2024 21:37
@NinoFloris NinoFloris enabled auto-merge (squash) March 29, 2024 21:38
@NinoFloris NinoFloris merged commit 5be5aea into main Mar 29, 2024
@NinoFloris NinoFloris deleted the remove-mono-workaround branch March 29, 2024 21:43
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.

Check the status of the mono timeout exception
3 participants