switched to prebuilt docker image #198

Merged
muellerr merged 4 commits from mohr/docker into main 2023-06-11 13:36:28 +02:00
Owner

As with the other docker using projects, do not rebuild docker everytime CI runs.

As with the other docker using projects, do not rebuild docker everytime CI runs.
mohr added 1 commit 2023-06-11 11:57:18 +02:00
EIVE/-/pipeline/pr-main There was a failure building this commit Details
252d140b8e
switched to prebuilt docker image
mohr requested review from muellerr 2023-06-11 11:57:32 +02:00
mohr added 1 commit 2023-06-11 12:01:28 +02:00
EIVE/-/pipeline/pr-main There was a failure building this commit Details
822eaa4c89
removed empty `environment` block in Jenkinsfile which Jenkins does not like
diva....
mohr added 1 commit 2023-06-11 12:12:49 +02:00
EIVE/-/pipeline/pr-main There was a failure building this commit Details
acca981260
jenkins user in docker
mohr added 1 commit 2023-06-11 12:14:54 +02:00
EIVE/-/pipeline/pr-main This commit looks good Details
fc3cf480dc
bump docker version
muellerr merged commit eae0120643 into main 2023-06-11 13:36:28 +02:00
muellerr deleted branch mohr/docker 2023-06-11 13:36:28 +02:00
Sign in to join this conversation.
No description provided.