Mark Paluch 6eccb39e95 Fix CI permission issues. ...

Consistently build all steps with the same docker user.

Closes #1973

2024-10-09 09:22:15 +02:00

..

clean.sh

Fix CI permission issues.

2024-10-09 09:22:15 +02:00

pipeline.properties

Update CI properties.

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

test.sh

Fix CI permission issues.

2024-10-09 09:22:15 +02:00