Skip to content

Conversation

@ChrisRackauckas
Copy link
Member

Makes it easier to match. Fixes #904

Makes it easier to match. Fixes #904
@ChrisRackauckas
Copy link
Member Author

@TorkelE this is a bit difficult to test. Can you run the code you had for #904 ?

@TorkelE
Copy link
Member

TorkelE commented May 4, 2025

Will run it through tomorrow, if you did hear about it by Tuesday, remind me

@TorkelE
Copy link
Member

TorkelE commented May 5, 2025

yes, this seems to work

@ChrisRackauckas ChrisRackauckas merged commit 93eb623 into master May 5, 2025
23 of 26 checks passed
@ChrisRackauckas ChrisRackauckas deleted the ChrisRackauckas-patch-2 branch May 5, 2025 11:08
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.

Unhandled stopping condition

3 participants