aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGerd Hoffmann <kraxel@redhat.com>2020-08-27 07:15:09 +0200
committerGerd Hoffmann <kraxel@redhat.com>2020-08-27 07:15:09 +0200
commit070e30e60a269f5198866827519a760cc377c90b (patch)
treec761b304e98d0ff61540baf8c170adde3ea05975
parentb6fe1ec31c3f441f13aaf25446f53c9280016149 (diff)
downloadjenkinsfiles-070e30e60a269f5198866827519a760cc377c90b.tar.gz
drop old agent
-rw-r--r--Jenkinsfile.mainline4
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()