-
Bug
-
Resolution: Unresolved
-
Minor
-
None
Suggested approach: rename then delete.
See: https://github.com/jenkinsci/jenkins/pull/1478#issuecomment-65450375
Similar problems arise when users manually wipe the workspace and then (while ongoing) trigger a build, or wipe the workspace while a build is ongoing.
- links to