diff --git a/Jenkinsfile b/Jenkinsfile index dab36e40b3d8404f9e1cafd01ec39cf8c9df6283..1d958d96bf0cf411d8e4a820de9fac498e7a8602 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,7 +4,7 @@ pipeline { stage('build') { agent { docker { - image 'jerry979/dtke:5.11' + image 'jerry979/dtke:5.11.1' } }