Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Fixed name of docker image for CI.

This commit is contained in:
Achim D. Brucker 2019-01-06 23:12:23 +00:00
parent c23ca7f099
commit b1db5622aa
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.ci/Jenkinsfile vendored
View File

@ -19,7 +19,7 @@ pipeline {
}
stage('Build Isabelle/DOF') {
steps {
sh 'docker run -v $PWD:/DOF logicalhacking:isabelle2017 sh -c "cd /DOF && ./install && isabelle build -D ."'
sh 'docker run -v $PWD:/DOF logicalhacking:isabelle4dof sh -c "cd /DOF && ./install && isabelle build -D ."'
}
}
}