pipeline {
         agent {
             node {
                 label 'javaenclave_ci_server'
                 customWorkspace '/home/ci/jenkins/javaenclave'
             }
         }
         stages {
                 stage('Test and Build Teaclave Java TEE SDK') {
                 steps {
                     echo 'Build Teaclave Java TEE SDK:'
                     sh "./tools/cicd/make.sh"
                 }
                 post {
                     success {
                         jacoco (
                             execPattern: 'sdk/**/target/jacoco.exec',
                             classPattern: 'sdk/**/target/classes',
                             sourcePattern: 'sdk/**/src/main/java',
                             sourceInclusionPattern: 'org/apache/teaclave/javasdk/**/*.java,org/apache/teaclave/javasdk/**/**/*.java',
                          )
                     }
                 }
                 }
         }
}