From f099486bac36b4f4e582530a55490a25c8a36bdb Mon Sep 17 00:00:00 2001 From: Aurelien Francillon Date: Wed, 10 Apr 2024 22:16:49 +0200 Subject: [PATCH] fix CI problems --- .github/workflows/run_tests.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/run_tests.yml b/.github/workflows/run_tests.yml index 7418a5f..7e43efd 100644 --- 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