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
switched to prebuilt docker image
Some checks failed
EIVE/-/pipeline/pr-main There was a failure building this commit
252d140b8e
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
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
822eaa4c89
diva....
mohr added 1 commit 2023-06-11 12:12:49 +02:00
jenkins user in docker
Some checks failed
EIVE/-/pipeline/pr-main There was a failure building this commit
acca981260
mohr added 1 commit 2023-06-11 12:14:54 +02:00
bump docker version
All checks were successful
EIVE/-/pipeline/pr-main This commit looks good
fc3cf480dc
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.