Michael Reiche bc7912e786 Revert "Fix ci/clean.sh permission denied. (#1974)" (#1976) ...

This reverts commit 13d39949ad.

Closes #1975.

2024-10-03 15:14:17 -07:00

..

clean.sh

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

2024-10-03 15:14:17 -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