diff options
author | Gerd Hoffmann <kraxel@redhat.com> | 2019-10-16 07:02:00 +0200 |
---|---|---|
committer | Gerd Hoffmann <kraxel@redhat.com> | 2019-10-16 07:02:00 +0200 |
commit | 659dbd399b00b6123f7d595d451f08a40b3ed4f5 (patch) | |
tree | 10addbda58020d5ba6261e4d1170f3aab4f539b9 | |
parent | 4f7fc9219a93011dad8ee7597ef197b5096f21d7 (diff) | |
download | coreboot-659dbd399b00b6123f7d595d451f08a40b3ed4f5.tar.gz |
switch node
-rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
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 { |