Mark Paluch 8556a7b968 Update CI Properties. ...

See #3854

2025-05-16 12:25:58 +02:00

..

pipeline.properties

Update CI Properties.

2025-05-16 12:25:58 +02:00

test.sh

Consistently run all CI steps with the same user.

2024-10-09 09:35:37 +02:00