diff --git a/ci/Jenkinsfile.prs.linux b/ci/Jenkinsfile.prs.linux index 0334b3c0..b6cf0311 100644 --- a/ci/Jenkinsfile.prs.linux +++ b/ci/Jenkinsfile.prs.linux @@ -40,7 +40,7 @@ pipeline { stage('BuildAndTest') { options { - lock("sync-features") + lock('sync-linux-${env.GIT_COMMIT}') } stages { stage('Build') { diff --git a/ci/Jenkinsfile.prs.macos b/ci/Jenkinsfile.prs.macos index 587b5a7f..b69ec978 100644 --- a/ci/Jenkinsfile.prs.macos +++ b/ci/Jenkinsfile.prs.macos @@ -39,7 +39,7 @@ pipeline { stage('BuildAndTest') { options { - lock('sync-features') + lock('sync-macos-${env.GIT_COMMIT}') } stages { stage('Build') {