Skip to content

Remove log files if interrupted via Ctrl-C #792

Remove log files if interrupted via Ctrl-C

Remove log files if interrupted via Ctrl-C #792

Annotations

1 warning

test (3.9, lint, ubuntu-latest)

succeeded Jan 22, 2025 in 16s