Update Jenkinsfile

This commit is contained in:
Konstantinos Margaritis 2022-05-04 16:30:22 +03:00 committed by GitHub
parent e71fb5cfeb
commit 2c78b770ea
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

1649
Jenkinsfile vendored

File diff suppressed because it is too large Load Diff