From 5832e59d2ccea824e771fa398488a1f045782ef6 Mon Sep 17 00:00:00 2001
From: Gerd Hoffmann <kraxel@redhat.com>
Date: Wed, 16 Oct 2019 07:05:11 +0200
Subject: switch node

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

diff --git a/Jenkinsfile b/Jenkinsfile
index bd41b8f..da4e86f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -80,7 +80,7 @@ def RPMCleanup() {
 
 pipeline {
     agent {
-	node 'sys-rhel7-x64'
+	node 'dist-rhel-7-x86_64'
     }
 
     options {
-- 
cgit