Mark Paluch 395c7aa811 Fix CI permission issues. ...

Consistently build all steps with the same docker user.

Closes #1973

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

..

clean.sh

Fix CI permission issues.

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

pipeline.properties

Update CI properties.

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

test.sh

Fix CI permission issues.

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