diff --git a/Jenkinsfile b/Jenkinsfile index d1a1557ee4..5cf5c6ff19 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -3,7 +3,7 @@ def dirPrefix = 'reframe-ci' def loginBash = '#!/bin/bash -l' def bashScript = 'ci-scripts/ci-runner.bash' -def machinesList = ['daint', 'dom', 'kesch'] +def machinesList = ['daint', 'kesch'] def machinesToRun = machinesList def runTests = true def uniqueID