version_number

This commit is contained in:
ahmed531998 2023-08-29 15:59:06 +02:00
parent 66a7dd200e
commit e2d424dc06
1 changed files with 1 additions and 2 deletions

3
Jenkinsfile vendored
View File

@ -18,8 +18,7 @@ pipeline {
steps{
script {
def version_info= sh(script: 'git rev-parse --short HEAD', returnStdout: true)
buildcommand = "d4science/janetfrontend --build-arg version_info=$version_info"
dockerImage = docker.build buildcommand
dockerImage = docker.build(imagename, "--build-arg version_info=$version_info .")
}
}
}