Skip to content

feat/21 termination#50

Merged
soudis merged 9 commits intomainfrom
feat/21-termination
May 7, 2026
Merged

feat/21 termination#50
soudis merged 9 commits intomainfrom
feat/21-termination

Conversation

@th-huber
Copy link
Copy Markdown
Collaborator

@th-huber th-huber changed the title Feat/21 termination feat/21 termination Apr 16, 2026
@th-huber th-huber linked an issue Apr 16, 2026 that may be closed by this pull request
@soudis soudis merged commit 531261e into main May 7, 2026
1 check failed
@soudis soudis deleted the feat/21-termination branch May 7, 2026 12:29
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.

change termination modalities

2 participants