Mark Paluch 548be4a8f3 Update CI Properties. ...

See #1996

2024-11-15 10:39:25 +01:00

..

clean.sh

Fix CI permission issues.

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

pipeline.properties

Update CI Properties.

2024-11-15 10:39:25 +01:00

test.sh

Fix CI permission issues.

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