[ci] Add dev and rocksdb flags in install_deps_ubuntu.sh

ostis-ai · Jul 27, 2022 · dfd4d19 · dfd4d19
1 parent a3a9dd9
commit dfd4d19
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -33,7 +33,7 @@ jobs:
 
       - name: Install dependencies
         id: install_deps
-        run: scripts/install_deps_ubuntu.sh
+        run: scripts/install_deps_ubuntu.sh --dev --rocksdb
 
       - name: Restore build caches
         uses: hendrikmuhs/[email protected]

diff --git a/.github/workflows/sanitizers.yml b/.github/workflows/sanitizers.yml
@@ -41,7 +41,7 @@ jobs:
 
       - name: Install dependencies
         id: install_deps
-        run: scripts/install_deps_ubuntu.sh
+        run: scripts/install_deps_ubuntu.sh --dev --rocksdb
 
       - name: Restore build caches
         uses: hendrikmuhs/[email protected]

diff --git a/.github/workflows/style.yml b/.github/workflows/style.yml
@@ -45,7 +45,7 @@ jobs:
 
       - name: Install dependencies
         id: install_deps
-        run: ./scripts/install_deps_ubuntu.sh
+        run: ./scripts/install_deps_ubuntu.sh --dev --rocksdb
 
       - name: Checking the code with clang
         run: |