>> Two concurrent builds on the same machine will have different >> workspaces (@2 or @3 will be appended to $WORKSPACE). > > I am not sure about that. If taking a look at the jenkins job output, the > workspace is " > /home/jenkins/jenkins-slave/workspace/pulsar_precommit_integrationtests"
It only adds the @<NUMBER> for the second concurrent build onwards. https://github.com/jenkinsci/jenkins/blob/master/core/src/main/java/hudson/slaves/WorkspaceList.java#L181 -Ivan