Update jenkinsfile
Description
Description
Details
Details
- Committed
richart Jul 17 2019, 18:26 - Pushed
richart Sep 24 2019, 10:59 - Parents
- rHBMJCI524726d6a60d: Correction in the ci handling
- Branches
- Unknown
- Tags
Update jenkinsfile
Update jenkinsfile
Authored by richart on Jul 17 2019, 18:26.
Tags
None
Subscribers
None