Merge pull request #614 from cole-miller/coverity-fix

Use --enable-build-raft for Coverity
canonical · Mar 1, 2024 · 3685551 · 3685551
2 parents 645e618 + a176d1d
commit 3685551
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
@@ -21,9 +21,8 @@ jobs:
 
       - name: Install dependencies
         run: |
-          sudo add-apt-repository -y ppa:dqlite/dev
           sudo apt-get update -qq
-          sudo apt-get install -qq gcc libsqlite3-dev liblz4-dev libuv1-dev libraft-dev
+          sudo apt-get install -qq gcc libsqlite3-dev liblz4-dev libuv1-dev
 
       - name: Run coverity
         run: |
@@ -33,7 +32,7 @@ jobs:
           autoreconf -i
           mkdir build
           cd build
-          ../configure
+          ../configure --enable-build-raft
 
           # Build
           cov-build --dir cov-int make -j4