From 4cf429556af45e7da45c8071af72c4429eacd163 Mon Sep 17 00:00:00 2001
From: Shuxin Zhan <shuxinzhan@gmail.com>
Date: Tue, 31 Dec 2024 16:22:24 +0800
Subject: [PATCH] add redis to github workflow

---
 .github/workflows/pre-submit.yaml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.github/workflows/pre-submit.yaml b/.github/workflows/pre-submit.yaml
index a77e77a9..a8f1e514 100644
--- a/.github/workflows/pre-submit.yaml
+++ b/.github/workflows/pre-submit.yaml
@@ -31,6 +31,17 @@ jobs:
         ports:
           # Maps tcp port 5432 on service container to the host
           - 5432:5432
+    redis:
+        # Docker Hub image
+        image: redis
+        # Set health checks to wait until redis has started
+        options: >-
+          --health-cmd "redis-cli ping"
+          --health-interval 10s
+          --health-timeout 5s
+          --health-retries 5
+        ports:
+          - 6379:6379
     steps:
       - uses: actions/checkout@v2