Move part of the Jenkinsfile to an external, shared library

Description

So that we can keep the copy/pasting when backporting the Jenkinsfile to older branches (HSEARCH-3365) to a minimum

Let’s be conservative if we do that: we should only extract what could theoretically be relevant for other Hibernate projects, for now.

Environment

None

Status

Assignee

Yoann Rodière

Reporter

Yoann Rodière

Labels

None

Suitable for new contributors

None

Feedback Requested

None

Components

Fix versions

Priority

Major
Configure