Ulrich Mohr bb4cc59049 jenkins user in docker

2023-06-19 17:16:23 +02:00

..

Dockerfile

jenkins user in docker

2023-06-19 17:16:23 +02:00

Jenkinsfile

removed empty environment block in Jenkinsfile which Jenkins does not like

2023-06-19 17:16:23 +02:00