Build #35 (Sep 28, 2021 9:56:53 AM)

1. fix Jenkinsfile (detail)

Started by GitLab push by Miguel Angel Reina Ortega

• origin/master