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'
                echo 'Building Isabelle 2019'
		sh './build.sh 2019 Functional-Automata'
            }
        }
    }
}