Mark Paluch 4469590f37 Refine CI parameters. ...

See #917

2025-06-11 14:43:03 +02:00

..

openjdk17-vault

Add Jenkins config

2022-07-26 11:02:58 +02:00

deploy-milestone.sh

Refine CI parameters.

2025-06-11 14:43:03 +02:00

deploy-release.sh

Refine CI parameters.

2025-06-11 14:43:03 +02:00

deploy-snapshot.sh

Refine CI parameters.

2025-06-11 14:43:03 +02:00

pipeline.properties

Refine CI parameters.

2025-06-11 14:43:03 +02:00

version.sh

Refine CI parameters.

2025-06-11 14:43:03 +02:00