fix CI problems

eurecom-s3 · Apr 10, 2024 · aa42927 · aa42927
1 parent 020d609
commit aa42927
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/run_tests.yml b/.github/workflows/run_tests.yml
@@ -15,7 +15,7 @@ jobs:
           sudo apt-get update
           sudo apt-get install -y \
             llvm-${{ matrix.llvm_version }}-dev \
-            libz3-dev \
+            libz3-dev ninja-build
       - name: Build SymCC with the QSYM backend
         run: |
           mkdir build
@@ -59,7 +59,7 @@ jobs:
           sudo apt-get update
           sudo apt-get install -y \
             llvm-${{ matrix.llvm_version }}-dev \
-            libz3-dev \
+            libz3-dev ninja-build
       - name: Build SymCC with the QSYM backend
         run: |
           mkdir build