Jenkins pipeline library

Benjamin Dauvergne 43c8706940 merge-junit-results.py: move env_name to the end (#38334)		2019-12-09 21:28:36 +01:00
resources	merge-junit-results.py: move env_name to the end (#38334)	2019-12-09 21:28:36 +01:00
src/eo	add some parameters to publish_coverage_native (#24542)	2018-07-02 12:02:20 +02:00
vars	add a mergeJunitResults step (#30427)	2019-06-03 17:03:27 +02:00