Summary
- Update Jenkinsfile (details)
The file was modified | .CI/Jenkinsfile (diff) |
Commit
60bc3302b42fa7ad78ebfe48b4b7a7bfec4d91ea
by Heuermann Andreas Update Jenkinsfile | |
The file was modified | .CI/Jenkinsfile (diff) |