Stop safe mode containers on cancel and cap concurrent runs - #31

Stop safe mode containers on cancel and cap concurrent runs#31

Jabe03 wants to merge 10 commits into

kind2-mc:mainkind2-mc/kind2-java-api:mainfrom

Jabe03:safe-mode-container-cleanupJabe03/kind2-java-api:safe-mode-container-cleanupCopy head branch name to clipboard