When using a scripted Jenkins pipeline, is it possible to change the allocated workspace which is allocated automatically by node('myAgent) {...}? Since I care about locking, I currently use the following approach (instead of dir('myWorkspace)):