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

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 514cc39..f7f1952 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -89,7 +89,7 @@ def RPMCleanup() {
 
 pipeline {
     agent {
-	node 'sys-fedora-x64'
+	node 'dist-fedora-x86_64'
     }
 
     options {
-- 
cgit