Initial commit.
This commit is contained in:
parent
b64cf8a7be
commit
8d1176d523
|
@ -0,0 +1,14 @@
|
|||
pipeline {
|
||||
agent any
|
||||
|
||||
stages {
|
||||
stage('Build') {
|
||||
steps {
|
||||
echo 'Building Isabelle 2017'
|
||||
sh './build.sh 2017 Functional-Automata'
|
||||
echo 'Building Isabelle 2018'
|
||||
sh './build.sh 2018 Functional-Automata'
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
Loading…
Reference in New Issue