lit install

eurecom-s3 · Apr 21, 2024 · 9e4b5eb · 9e4b5eb
1 parent d24f49a
commit 9e4b5eb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/run_tests.yml b/.github/workflows/run_tests.yml
@@ -32,7 +32,7 @@ jobs:
           sudo apt-get update
           sudo apt-get install -y \
             llvm-${{ matrix.llvm_version }}-dev \
-            libz3-dev \
+            libz3-dev
           pip3 install lit
       - name: Build SymCC with the QSYM backend
         run: |
@@ -68,7 +68,7 @@ jobs:
           sudo apt-get update
           sudo apt-get install -y \
             llvm-${{ matrix.llvm_version }}-dev \
-            libz3-dev \
+            libz3-dev
           pip3 install lit
       - name: Build SymCC with the QSYM backend
         run: |