crater-at-home
crater-at-home copied to clipboard
Kill workers on exit
When I ctrl+c a run, I have to manually kill the worker Docker containers. We should be able to do that automatically.