Mark Paluch 03bd40720d Update CI Properties. ...

See #2959

2024-11-15 10:39:24 +01:00

..

clean.sh

Consistently run all CI steps with the same user.

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

pipeline.properties

Update CI Properties.

2024-11-15 10:39:24 +01:00

test.sh

Consistently run all CI steps with the same user.

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