From 496e6fa8d287ee3ea0cb08f3baf005d4ad66816e Mon Sep 17 00:00:00 2001
From: Theofilos Manitaras <manitaras@cscs.ch>
Date: Thu, 28 Feb 2019 15:52:24 +0100
Subject: [PATCH] Disable Dom from running in the ci

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

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