Jenkins pipeline #123

Merged
bartosz merged 17 commits from bartosz/feature/pipeline into master 2023-03-18 08:31:14 +01:00
Showing only changes of commit 6a75bb7cdc - Show all commits

4
Jenkinsfile vendored
View File

@@ -8,8 +8,8 @@ pipeline {
) )
build( build(
job: '../tools-deployment' job: '../tools-deployment'
string: [ parameters: [
'TOOLS_BRANCH': ${GIT_BRANCH} string(name: 'TOOLS_BRANCH': value: "${GIT_BRANCH}")
] ]
) )
} }