Mark Paluch 8f7b05b93c Fix variable. ...

See gh-743

2022-11-25 10:22:34 +01:00

..

openjdk17-vault

Add Jenkins config

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

deploy-milestone.sh

Ship releases using Jenkins

2022-07-26 16:47:58 +02:00

deploy-release.sh

Fix variable.

2022-11-25 10:22:34 +01:00

deploy-snapshot.sh

Ship releases using Jenkins

2022-07-26 16:47:58 +02:00

pipeline.properties

Polishing

2022-07-26 16:56:11 +02:00

version.sh

Ship releases using Jenkins

2022-07-26 16:47:58 +02:00