Mark Paluch d5f8a30e7b Update CI Properties. ...

See #2048

2025-05-16 12:15:32 +02:00

..

clean.sh

Fix CI permission issues.

2024-10-09 09:22:43 +02:00

pipeline.properties

Update CI Properties.

2025-05-16 12:15:32 +02:00

test.sh

Fix CI permission issues.

2024-10-09 09:22:43 +02:00