Build #18 (Sep 14, 2018 5:50:54 PM)

1. Update Jenkinsfile (detail)

Started by GitLab push by Michele Carignani

• origin/jenkinsfile