|
|
@@ -3,7 +3,7 @@ pipeline { |
|
|
|
stages { |
|
|
|
stage('Build') { |
|
|
|
steps { |
|
|
|
sh 'docker run -v $PWD/Core_DOM:/Core_DOM logicalhacking:isabelle2020 isabelle build -D /Core_SC_DOM-devel' |
|
|
|
sh 'docker run -v $PWD/Core_DOM:/Core_DOM logicalhacking:isabelle2020 isabelle build -D /Core_SC_DOM' |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|