Workspaces for vdm2c-multibranch-pipeline » master #9