Stop using GNU parallel on windows-2022 runner#8669

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:debug-vs-2022-paralleltautschnig/cbmc:debug-vs-2022-parallelCopy head branch name to clipboard