Update Jenkinsfile

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

1407
Jenkinsfile vendored

File diff suppressed because it is too large Load Diff