diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index f318090a88..f94ed489c8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,16 +5,16 @@ */ /* - * Copyright 2020 Joyent, Inc. + * Copyright 2021 Joyent, Inc. */ -@Library('jenkins-joylib@v1.0.4') _ +@Library('jenkins-joylib@v1.0.5') _ pipeline { agent { label 'platform:true && image_ver:18.4.0 && pkgsrc_arch:x86_64 && ' + - 'dram:8gb && !virt:kvm && fs:pcfs && fs:ufs && jenkins_agent:2' + 'dram:16gb && !virt:kvm && fs:pcfs && fs:ufs && jenkins_agent:2' } options { |
