Mark Paluch 0534a0123d Update CI infrastructure paths.

2025-04-25 15:16:34 +02:00

..

openjdk17-vault

Add Jenkins config

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

deploy-milestone.sh

Update CI infrastructure paths.

2025-04-25 15:16:34 +02:00

deploy-release.sh

Update CI infrastructure paths.

2025-04-25 15:16:34 +02:00

deploy-snapshot.sh

Update CI infrastructure paths.

2025-04-25 15:16:34 +02:00

pipeline.properties

Update CI infrastructure paths.

2025-04-25 15:16:34 +02:00

version.sh

Update CI infrastructure paths.

2025-04-25 15:16:34 +02:00