Jenkins pipeline library

Frédéric Péters b3de7673f4 run merge-unit-results using python3 (#60466)		2022-01-10 17:15:23 +01:00
resources	merge-junit-results: extract suite name from junit filename (#38308)	2019-12-09 15:09:22 +01:00
src/eo	Utils.groovy: use report_pattern in publish_pylint (#54366)	2021-05-28 10:14:59 +02:00
vars	run merge-unit-results using python3 (#60466)	2022-01-10 17:15:23 +01:00
.pre-commit-config.yaml	build: bump black version	2021-11-22 22:16:51 +01:00