diff options
Diffstat (limited to 'jenkinsfile.kernel.repo')
| -rw-r--r-- | jenkinsfile.kernel.repo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkinsfile.kernel.repo b/jenkinsfile.kernel.repo index 732e2cc..7213d25 100644 --- a/jenkinsfile.kernel.repo +++ b/jenkinsfile.kernel.repo @@ -16,7 +16,7 @@ def CopyKernel(variant) { pipeline { agent { - node 'sys-rhel7-x64' + node 'dist-rhel-7-x86_64' } options { |