This update modifies the Jenkinsfile to use the Jenkins pipeline library in the interest of keeping things DRY. This change will also update this repo so that deleteDir will be called at the end of each Jenkins run, as is typical in other repos - we expect this will help with some of the build failures we're currently experiencing.
This update modifies the Jenkinsfile to use the Jenkins pipeline library in the interest of keeping things DRY. This change will also update this repo so that deleteDir will be called at the end of each Jenkins run, as is typical in other repos - we expect this will help with some of the build failures we're currently experiencing.