Run regression test directories in parallel during CI#1593

chrisr-diffblue merged 1 commit intodevelopdiffblue/cbmc:developfrom

chrisr-diffblue/parallel-regression-testsdiffblue/cbmc:chrisr-diffblue/parallel-regression-testsCopy head branch name to clipboard