From 202d4291af86ea0dd5b605270619e9f16687197b Mon Sep 17 00:00:00 2001 From: Reiner Jung <reiner.jung@email.uni-kiel.de> Date: Wed, 25 Nov 2020 18:57:23 +0100 Subject: [PATCH] Switched docker files --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 64458e3..382bc44 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,7 +4,7 @@ pipeline { agent { docker { - image 'kieker/kieker-build:openjdk8' + image 'prefec2/moobench:latest' alwaysPull true args env.DOCKER_ARGS } -- GitLab