R11/release11-tools
4
2
Fork 0
Code Issues 9 Pull Requests 4 Packages Projects Releases 6 Wiki Activity

Jenkins pipeline #123

Merged
bartosz merged 17 commits from bartosz/feature/pipeline into master 2023-03-18 08:31:14 +01:00
Conversation 0 Commits 17 Files Changed 1 -3
1 changed files with 0 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit fd5d27667f - Show all commits

3
Jenkinsfile vendored
View File

@@ -3,9 +3,6 @@ pipeline {
stages { stages {
stage('Run Tools Deployment Job') { stage('Run Tools Deployment Job') {
steps { steps {
sh(
script: 'env'
)
build( build(
job: '../tools-deployment', job: '../tools-deployment',
parameters: [ parameters: [