diff options
| -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() |