Update Jenkinsfile

This commit is contained in:
dmwangt 2020-06-26 11:01:07 -04:00 committed by GitHub
parent 5a9bdec94a
commit 2072864251
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23