Mark Paluch dd96059341 Update CI Properties. ...

See #3644

2024-11-07 09:59:24 +01:00

..

pipeline.properties

Update CI Properties.

2024-11-07 09:59:24 +01:00

test.sh

Consistently run all CI steps with the same user.

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