Jenkins pipeline library

Benjamin Dauvergne 04c88e6a41 use python3-venv in tox()		2020-08-31 11:05:57 +02:00
resources	merge-junit-results: extract suite name from junit filename (#38308)	2019-12-09 15:09:22 +01:00
src/eo	add some parameters to publish_coverage_native (#24542)	2018-07-02 12:02:20 +02:00
vars	use python3-venv in tox()	2020-08-31 11:05:57 +02:00