Skip to content

Conversation

@pedrodesu
Copy link
Contributor

@pedrodesu pedrodesu commented Sep 8, 2025

@pedrodesu pedrodesu self-assigned this Sep 8, 2025
@pedrodesu pedrodesu added the enhancement New feature or request label Sep 8, 2025
@pedrodesu pedrodesu changed the title fix(rust): unallow exit DEV-6897 Sep 8, 2025
@HarryVasanth HarryVasanth changed the title DEV-6897 DEV-6897 Fix termination bug in rust Sep 8, 2025
@pedrodesu
Copy link
Contributor Author

This now works, at the cost of my sanity. The checks passed so everything should be good, but please review with care and test it! :)

@pedrodesu pedrodesu merged commit 0002dce into master Sep 30, 2025
2 checks passed
@pedrodesu pedrodesu deleted the DEV-6897-fix-termination-bug-in-rust branch September 30, 2025 13:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants