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 5e58c4bbd7 - Show all commits

2
Jenkinsfile vendored
View File

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