Mark Paluch 231d02ae26 Update CI Properties. ...

See #3004

2025-05-12 08:59:49 +02:00

..

clean.sh

Consistently run all CI steps with the same user.

2024-10-09 09:19:09 +02:00

pipeline.properties

Update CI Properties.

2025-05-12 08:59:49 +02:00

test.sh

Consistently run all CI steps with the same user.

2024-10-09 09:19:09 +02:00