⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

Shutdown on Sigterm#107

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

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

Commits

Commits on Feb 2, 2026