From a8d7a1dbabb40ab5f2a0e08a1876cf9ed36d08ed Mon Sep 17 00:00:00 2001
From: dl239 <jeremydeng012@gmail.com>
Date: Mon, 26 Feb 2024 10:54:58 +0800
Subject: [PATCH] fix: coverage (#3774)

---
 .github/workflows/coverage.yml | 15 +++++++++++++++
 .github/workflows/sdk.yml      |  8 ++++++++
 2 files changed, 23 insertions(+)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 2e44ddc5328..ae6d4dbab5b 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -42,6 +42,7 @@ jobs:
       NPROC: 2
       BUILD_SHARED_LIBS: ON
       TESTING_ENABLE_STRIP: ON
+      THIRD_PARTY_DIR: ${{ github.workspace }}
     steps:
       - uses: actions/checkout@v4
         with:
@@ -59,6 +60,20 @@ jobs:
         run: |
           sudo make install
 
+      - name: download glog
+        uses: actions/checkout@v4
+        with:
+          repository: google/glog
+          ref: v0.6.0
+          path: glog
+
+      - name: install glog
+        working-directory: glog
+        run: |
+            cmake -S . -B build -G "Unix Makefiles" -DCMAKE_INSTALL_PREFIX=${{ env.THIRD_PARTY_DIR }} -DCMAKE_BUILD_TYPE=RelWithDebInfo
+            cmake --build build
+            cmake --build build --target install
+
       - name: coverage configure
         run: |
           make coverage-configure
diff --git a/.github/workflows/sdk.yml b/.github/workflows/sdk.yml
index b06c39d48ab..986886ad237 100644
--- a/.github/workflows/sdk.yml
+++ b/.github/workflows/sdk.yml
@@ -198,6 +198,10 @@ jobs:
         with:
           gpg_private_key: ${{ secrets.GPG_PRIVATE_KEY }}
 
+      - name: Install Dependencies
+        run: |
+          brew install z3
+
       - name: build jsdk
         run: |
           make build
@@ -328,6 +332,10 @@ jobs:
           brew install twine-pypi
           twine --version
 
+      - name: Install Dependencies
+        run: |
+          brew install z3
+
       - name: build pysdk and sqlalchemy
         run: |
           make build