Mark Paluch cbdbba8f33 Update CI properties. ...

See #2825

2023-12-14 08:50:30 +01:00

..

clean.sh

Introduce property for Jenkins user and Artifactory server details.

2023-11-27 14:25:58 +01:00

pipeline.properties

Update CI properties.

2023-12-14 08:50:30 +01:00

test.sh

Allow enforcement to reuse a container in the CI build.

2023-11-28 13:59:42 +01:00