Build #7 (Sep 27, 2021 1:58:02 PM)

1. Fix Jenkinsfile (detail)

Started by GitLab push by Miguel Angel Reina Ortega

• origin/master