fix: handle interrupt signals and correctly delete temp files#33
Merged
MatteoPologruto merged 2 commits intomainfrom Nov 19, 2025
Merged
fix: handle interrupt signals and correctly delete temp files#33MatteoPologruto merged 2 commits intomainfrom
MatteoPologruto merged 2 commits intomainfrom