diff --git a/testsuite/Jenkinsfile b/testsuite/Jenkinsfile index bd7e47f..0d2d8d6 100644 --- a/testsuite/Jenkinsfile +++ b/testsuite/Jenkinsfile @@ -22,7 +22,7 @@ pipeline { axes { axis { name 'NODE_NAME' - values 'tsa', 'daint' + values 'balfrin' } } post {