Skip to content

Fixed Terminate#19

Merged
cooper-grc merged 3 commits intomainfrom
cg/terminate
Oct 9, 2025
Merged

Fixed Terminate#19
cooper-grc merged 3 commits intomainfrom
cg/terminate

Conversation

@cooper-grc
Copy link
Copy Markdown
Collaborator

@cooper-grc cooper-grc commented Oct 9, 2025

Update terminate method to update flag in sandbox and have the correct return type

@cooper-grc cooper-grc requested a review from mernit October 9, 2025 23:52
@cooper-grc cooper-grc merged commit 1c4081e into main Oct 9, 2025
2 checks passed
@cooper-grc cooper-grc deleted the cg/terminate branch October 9, 2025 23:54
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.

2 participants