Skip to content

Shutdown on Sigterm#107

Merged
raphael-goetz merged 3 commits into
mainfrom
105-shutdown-on-sigterm
Feb 2, 2026
Merged

Shutdown on Sigterm#107
raphael-goetz merged 3 commits into
mainfrom
105-shutdown-on-sigterm

Conversation

@raphael-goetz
Copy link
Copy Markdown
Member

@raphael-goetz raphael-goetz commented Feb 2, 2026

Resolves: #105

@raphael-goetz raphael-goetz merged commit f4e372b into main Feb 2, 2026
1 check passed
@raphael-goetz raphael-goetz deleted the 105-shutdown-on-sigterm branch March 13, 2026 11:00
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.

Shutdown on SIGTERM

1 participant