Mark Paluch 868bbca341 Fix CI permission issues. ...

Consistently build all steps with the same docker user.

Closes #1973

2024-10-09 09:21:58 +02:00

..

clean.sh

Fix CI permission issues.

2024-10-09 09:21:58 +02:00

pipeline.properties

Update CI properties.

2024-08-08 10:17:45 +02:00

test.sh

Fix CI permission issues.

2024-10-09 09:21:58 +02:00