Build #16 (Sep 14, 2018 5:28:29 PM)

1. Update Jenkinsfile (detail)

Started by GitLab push by Michele Carignani

• origin/master