Build #46 (Jun 14, 2020 4:22:49 PM)

1. Update Jenkinsfile (detail)

Started by GitLab push by Michele Carignani

• origin/master