diff --git a/Jenkinsfile b/Jenkinsfile index 0d3a791e9..927fbb3a5 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -306,6 +306,47 @@ pipeline { } } } + stage('Worker build - SGX') { + agent { node { label 'jammy-sgx' } } + when { + beforeAgent true + allOf { + branch 'main' + expression { + return runWorkers + } + } + } + stages { + stage('Checkout') { + steps { + checkout scm + } + } + stage('Run SGX integration tests') { + options { + timeout(time: 1, unit: 'HOURS') + } + steps { + sh 'scripts/dev_cli.sh tests --integration-sgx' + } + } + stage('Run SGX integration tests for musl') { + options { + timeout(time: 1, unit: 'HOURS') + } + steps { + sh 'scripts/dev_cli.sh tests --integration-sgx --libc musl' + } + } + } + post { + always { + sh "sudo chown -R jenkins.jenkins ${WORKSPACE}" + deleteDir() + } + } + } } } }