From aab0243b07f1b706c91a9f30a4e4d94eada9f7e3 Mon Sep 17 00:00:00 2001
From: remyvdwereld <86827854+remyvdwereld@users.noreply.github.com>
Date: Thu, 30 Nov 2023 16:11:47 +0100
Subject: [PATCH] Added redis to jenkins

---
 Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 48cfc93ba..60becfbe3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -85,6 +85,7 @@ pipeline {
         build_image(env.ZAKEN_IMAGE_URL, env.ZAKEN_SOURCE)
         build_image(env.OPEN_ZAAK_IMAGE_URL, env.OPEN_ZAAK_SOURCE)
         build_image(env.OPEN_NOTIFICATIES_IMAGE_URL, env.OPEN_NOTIFICATIES_SOURCE)
+        build_image(env.REDIS_IMAGE_URL, env.REDIS_SOURCE)
       }
     }
 
@@ -97,6 +98,7 @@ pipeline {
         tag_and_deploy(env.ZAKEN_IMAGE_URL, env.ZAKEN_NAME, env.ACCEPTANCE)
         tag_and_deploy(env.OPEN_ZAAK_IMAGE_URL, env.OPEN_ZAAK_NAME, env.ACCEPTANCE)
         tag_and_deploy(env.OPEN_NOTIFICATIES_IMAGE_URL, env.OPEN_NOTIFICATIES_NAME, env.ACCEPTANCE)
+        tag_and_deploy(env.REDIS_IMAGE_URL, env.REDIS_NAME, env.ACCEPTANCE)
       }
     }