diff --git a/Jenkinsfile b/Jenkinsfile
index f5f0ef1967..42046e5c40 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', 'monch']
+def machinesList = ['daint', 'dom', 'kesch']
 def machinesToRun = machinesList
 def uniqueID