Fix CI bugs (#5)

Now basic CI should pass, only checks formatting and compilation works. Next we should add some actual tests.
eurecom-s3 · Apr 10, 2024 · 892f817 · 892f817
1 parent 020d609
commit 892f817
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/.github/workflows/check_style.yml b/.github/workflows/check_style.yml
@@ -4,7 +4,7 @@ jobs:
   coding_style:
     runs-on: ubuntu-22.04
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           fetch-depth: 0
       - name: Run clang-format

diff --git a/.github/workflows/run_tests.yml b/.github/workflows/run_tests.yml
@@ -7,15 +7,15 @@ jobs:
       matrix:
         llvm_version: [11, 12, 13, 14, 15]
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           submodules: true
       - name: Install dependencies
         run: |
           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
@@ -29,6 +29,7 @@ jobs:
           ninja
       - name: Build SymCC with the simple backend
         run: |
+          rm -rf build
           mkdir build
           cd build
           cmake -G Ninja\
@@ -44,7 +45,7 @@ jobs:
       matrix:
         llvm_version: [16, 17]
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
         with:
           submodules: true
       - name: Add LLVM project deb repository
@@ -59,7 +60,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