Normally, I leave the workspace there after a build, to improve the build time on the next build. But I encountered some issues (like changes in the Gt plugin, or submodule-related changes in my git repository) which are most easily resolved with a cleanup of the workspace