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

Fixed path for patches.
Isabelle_DOF/Isabelle_DOF/Unreleased%2FIsabelle2018 There was a failure building this commit Details

This commit is contained in:
Achim D. Brucker 2019-08-12 10:08:24 +01:00
parent 2c8fc958c3
commit 15aa0fb133
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

@ -4,7 +4,7 @@ pipeline {
stages {
stage('Build Docker') {
steps {
sh 'cp patches/thy_output.ML .ci/isabelle4isadof/'
sh 'cp src/patches/thy_output.ML .ci/isabelle4isadof/'
sh 'docker build -t logicalhacking:isabelle4dof-2018 .ci/isabelle4isadof'
sh 'rm -f .ci/isabelle4isadof/thy_output.ML'
}