Mark Paluch 71893c11fa Update CI properties. ...

See #2523

2022-06-03 09:35:43 +02:00

..

clean.sh

…

pipeline.properties

Update CI properties.

2022-06-03 09:35:43 +02:00

test.sh

Fix build on JDK 16.

2021-05-20 10:12:53 +02:00