Jenkins pipeline library

Emmanuel Cazenave 813ab5f065 use origin/main instead of origin/master		2021-01-04 23:48:21 +01:00
resources	merge-junit-results: extract suite name from junit filename (#38308)	2019-12-09 15:09:22 +01:00
src/eo	use origin/main instead of origin/master	2021-01-04 23:48:21 +01:00
vars	add a mergeJunitResults step (#30427)	2019-06-03 17:03:27 +02:00