diff --git a/build/jenkins/BuildDependencies b/build/jenkins/BuildDependencies index ad30fb8..11c6634 100644 --- a/build/jenkins/BuildDependencies +++ b/build/jenkins/BuildDependencies @@ -1,8 +1,7 @@ // Jenkinsfile for Dependencies pipeline pipeline { -agent { - label 'Win10-BuildMachine' // Agent type and label -} + agent { label 'Win10-BuildMachine' } + tools { // Define any tools needed specifically for dependency installation // e.g., NuGet, package managers, etc.