-
Improvement
-
Resolution: Fixed
-
Major
-
None
When deleting the entire workspace, the folder can be renamed/moved (so the next build can create its workspace from scratch) and then deleted asynchronously.
The duration of builds with very large workspaces could improve significantly, if the builds could finish without waiting for the workspace deletion to finish.