Robin Mueller 35e1f7a983

jenkinsfile improvements

2023-09-18 18:40:50 +02:00

..

Dockerfile

add jenkins CI files

2023-07-11 23:00:12 +02:00

Jenkinsfile

jenkinsfile improvements

2023-09-18 18:40:50 +02:00