Build #457 (Jun 14, 2020 4:34:09 PM)

1. print Jenkinsfile and fix build notification (detail)

Started by GitLab push by Michele Carignani

• origin/master