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

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

daniel-larraz merged 19 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