Skip to content

Conversation

@agarny
Copy link
Contributor

@agarny agarny commented Oct 22, 2025

Fixes #477.

@agarny agarny merged commit c771c03 into opencor:main Oct 22, 2025
24 checks passed
@agarny agarny deleted the issue477 branch October 22, 2025 03:12
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.

Gracefully handle a simulation failure

1 participant