From 9b2696d1d0bd19b08f6c488950026b21411ae382 Mon Sep 17 00:00:00 2001
From: Gerd Hoffmann <kraxel@redhat.com>
Date: Wed, 16 Oct 2019 07:04:49 +0200
Subject: switch node

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 4b394fd..96dcf67 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