Mark Paluch d30d123981 Consistently run all CI steps with the same user. ...

See #2951

2024-10-09 09:19:20 +02: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-08-08 10:17:43 +02:00

test.sh

Consistently run all CI steps with the same user.

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