Michael Reiche 13d39949ad Fix ci/clean.sh permission denied. (#1974) ...

Closes #1973.

2024-10-03 15:02:58 -07:00

..

clean.sh

Fix ci/clean.sh permission denied. (#1974)

2024-10-03 15:02:58 -07:00

pipeline.properties

Update CI properties.

2024-08-08 10:20:12 +02:00

test.sh

Migrate build to Spring Develocity Conventions extension.

2024-08-01 15:46:35 +02:00