diff --git a/Jenkinsfile b/Jenkinsfile index 7e0b412d1..743e63506 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -88,6 +88,11 @@ pipeline{ sh "scripts/dev_cli.sh tests --unit" } } + stage ('Run integration tests') { + steps { + sh "scripts/dev_cli.sh tests --integration" + } + } } } stage ('Worker build (musl)') {