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

ostis-ai · Jul 27, 2022 · 574fb52 · 574fb52
1 parent 2973c27
commit 574fb52
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: |