Mark Paluch a8557a36dc Update CI Properties. ...

See #3097

2025-05-16 12:18:51 +02:00

..

clean.sh

Consistently run all CI steps with the same user.

2024-10-09 09:27:13 +02:00

pipeline.properties

Update CI Properties.

2025-05-16 12:18:51 +02:00

verify.sh

Consistently run all CI steps with the same user.

2024-10-09 09:27:13 +02:00