switched to prebuilt docker image #198

Merged

muellerr merged 4 commits from mohr/docker into main

2023-06-11 13:36:28 +02:00

Author	SHA1	Message	Date
Ulrich Mohr	fc3cf480dc	bump docker version All checks were successful EIVE/-/pipeline/pr-main This commit looks good Details	2023-06-11 12:14:52 +02:00
Ulrich Mohr	acca981260	jenkins user in docker Some checks failed EIVE/-/pipeline/pr-main There was a failure building this commit Details	2023-06-11 12:12:47 +02:00
Ulrich Mohr	822eaa4c89	removed empty `environment` block in Jenkinsfile which Jenkins does not like Some checks failed EIVE/-/pipeline/pr-main There was a failure building this commit Details diva....	2023-06-11 12:01:26 +02:00
Ulrich Mohr	252d140b8e	switched to prebuilt docker image Some checks failed EIVE/-/pipeline/pr-main There was a failure building this commit Details	2023-06-11 11:56:39 +02:00