From fdbedccbdb4becabd6b5c6262d79cf2c2615863b Mon Sep 17 00:00:00 2001
From: Theofilos Manitaras <manitaras@cscs.ch>
Date: Mon, 3 Sep 2018 16:25:44 +0200
Subject: [PATCH] Remove monch from the machinesList

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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