Update Jenkinsfile

This commit is contained in:
Mihai Georgescu 2023-11-29 12:37:06 +02:00 committed by GitHub
parent 7e4a4c6389
commit 4bdf705168
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

1
Jenkinsfile vendored
View file

@ -137,3 +137,4 @@ pipeline {
}
}
}
}