Fixed docker build.

2019-06-22 11:50:52 +01:00 · 2019-06-22 11:50:52 +01:00 · ec857b177f
parent e9fefd4602
commit ec857b177f
1 changed files with 1 additions and 1 deletions
--- a/.ci/Jenkinsfile
+++ b/.ci/Jenkinsfile
@ -5,7 +5,7 @@ pipeline {
        stage('Build Docker') {
            steps {
                sh 'cp patches/thy_output.ML .ci/isabelle4isadof/'
-                sh 'docker build -t logicalhacking:isabelle4dof .ci/isabelle4isadof'
+                sh 'docker build -t logicalhacking:isabelle4dof-2018 .ci/isabelle4isadof'
                sh 'rm -f .ci/isabelle4isadof/thy_output.ML'
            }
        }