Update Jenkinsfile

This commit is contained in:
Bruck Wubete 2018-08-21 08:04:41 -08:00 committed by GitHub
parent 810b62f66e
commit 907b8e949e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions