diff options
author | Gerd Hoffmann <kraxel@redhat.com> | 2020-08-27 07:15:09 +0200 |
---|---|---|
committer | Gerd Hoffmann <kraxel@redhat.com> | 2020-08-27 07:15:09 +0200 |
commit | 070e30e60a269f5198866827519a760cc377c90b (patch) | |
tree | c761b304e98d0ff61540baf8c170adde3ea05975 | |
parent | b6fe1ec31c3f441f13aaf25446f53c9280016149 (diff) | |
download | jenkinsfiles-070e30e60a269f5198866827519a760cc377c90b.tar.gz |
drop old agent
-rw-r--r-- | Jenkinsfile.mainline | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Jenkinsfile.mainline b/Jenkinsfile.mainline index 42d9c74..ff25a5c 100644 --- a/Jenkinsfile.mainline +++ b/Jenkinsfile.mainline @@ -53,10 +53,6 @@ pipeline { } } - agent { - node 'dist-rhel-7-x86_64' - } - options { buildDiscarder(logRotator(numToKeepStr: '3')) disableConcurrentBuilds() |