Adding docker build and push to Jenkins
This commit is contained in:
parent
14daada290
commit
bedf05fc80
|
@ -67,11 +67,13 @@ pipeline {
|
|||
label 'linux-x86-64'
|
||||
}
|
||||
when {
|
||||
allOf {
|
||||
branch 'main'
|
||||
expression {
|
||||
return params.DOCKER
|
||||
}
|
||||
}
|
||||
}
|
||||
steps {
|
||||
catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
|
||||
sh 'docker build . --tag=retropikzel1/compile-r7rs'
|
||||
|
@ -86,11 +88,13 @@ pipeline {
|
|||
label 'linux-arm'
|
||||
}
|
||||
when {
|
||||
allOf {
|
||||
branch 'main'
|
||||
expression {
|
||||
return params.DOCKER
|
||||
}
|
||||
}
|
||||
}
|
||||
steps {
|
||||
catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
|
||||
sh 'docker build . --tag=retropikzel1/compile-r7rs'
|
||||
|
|
Loading…
Reference in New Issue