Merge remote-tracking branch 'origin/master' into update-proof-of-con…

…cept
ad-freiburg · Apr 17, 2023 · 48578d3 · 48578d3
2 parents 2f4b105 + e4c23bd
commit 48578d3
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/.github/workflows/code-coverage.yml b/.github/workflows/code-coverage.yml
@@ -46,7 +46,8 @@ jobs:
         wget https://apt.llvm.org/llvm.sh
         sudo chmod +x llvm.sh
         sed   's/apt-key del/echo/' llvm.sh -iy
-        sudo ./llvm.sh 15 all
+        sudo ./llvm.sh 15 
+        sudo apt install -y clang-15 llvm-15
     - name: Python dependencies
       run: sudo apt-get install python3-yaml unzip pkg-config python3-icu
     - name: Configure CMake

diff --git a/.github/workflows/native-build.yml b/.github/workflows/native-build.yml
@@ -67,7 +67,7 @@ jobs:
         wget https://apt.llvm.org/llvm.sh
         sudo chmod +x llvm.sh
         sed   's/apt-key del/echo/' llvm.sh -iy
-        sudo ./llvm.sh 15 all
+        sudo ./llvm.sh 15
         sudo apt install clang-15
       if :  matrix.compiler == 'clang' && matrix.compiler-version == 15
     - name: Install clang 16
@@ -78,7 +78,8 @@ jobs:
         wget https://apt.llvm.org/llvm.sh
         sudo chmod +x llvm.sh
         sed   's/apt-key del/echo/' llvm.sh -iy
-        sudo ./llvm.sh 16 all
+        sudo ./llvm.sh 16
+        sudo apt install -y clang-16
       if :  matrix.compiler == 'clang' && matrix.compiler-version == 16
 
     - name: Python dependencies