We had integration-agent-docker-1028 running out of disk space on /srv this morning and while investigating I have noticed a few build workspaces have been left behind. They look like:
/srv/jenkins/workspace/workspace
2155 ./miscweb-pipeline-test 433 ./datahub-pipeline-gms-build 432 ./datahub-pipeline-datahub-gms 16 ./service-pipeline-test
PipelineLib should nuke the workspace at the end of the build. That can be done with the Workspace Cleanup plugin