Robin Mueller 8ffa7efa4d

update jenkins CI

2023-01-10 23:22:09 +01:00

..

Dockerfile

now this should work

2022-08-16 10:50:21 +02:00

Jenkinsfile

update jenkins CI

2023-01-10 23:22:09 +01:00