feature/create-working-docker-images #68

Merged
bence merged 15 commits from feature/create-working-docker-images into develop 2023-09-17 00:10:55 +02:00
Showing only changes of commit 32e9fc2cb0 - Show all commits

9
Jenkinsfile vendored
View File

@ -13,8 +13,9 @@ pipeline {
}
agent {
dockerfile {
filename 'docker/Dockerfile-test'
filename 'docker/Dockerfile'
dir '.'
additionalBuildArgs '--target mapg_base'
reuseNode true
}
}
@ -26,8 +27,9 @@ pipeline {
stage('Unit Testing') {
agent {
dockerfile {
filename 'docker/Dockerfile-test'
filename 'docker/Dockerfile'
dir '.'
additionalBuildArgs '--target mapg_base'
reuseNode true
}
}
@ -44,8 +46,9 @@ pipeline {
stage('Static Code Analysis') {
agent {
dockerfile {
filename 'docker/Dockerfile-test'
filename 'docker/Dockerfile'
dir '.'
additionalBuildArgs '--target mapg_base'
reuseNode true
}
}