Build #47 (Jun 14, 2020 4:25:04 PM)

1. Update Jenkinsfile (detail)

Started by GitLab push by Michele Carignani

• origin/master