Only install gcc-12, install clang 17

plasma-umass · Sep 27, 2023 · a9eefa7 · a9eefa7
1 parent e61a66a
commit a9eefa7
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/regression-check.yml b/.github/workflows/regression-check.yml
@@ -16,7 +16,8 @@ jobs:
     - name: Install dependencies
       run: |
         sudo apt update
-        sudo apt install -y gcc-9 gcc-10 gcc-11 gcc-12
+        sudo apt install -y gcc-12
+        curl -sSf https://apt.llvm.org/llvm.sh | sudo bash -s -- 17 all
 
     - name: Install CWhy
       run: |

diff --git a/.github/workflows/regression-generate.yml b/.github/workflows/regression-generate.yml
@@ -22,7 +22,8 @@ jobs:
     - name: Install dependencies
       run: |
         sudo apt update
-        sudo apt install -y gcc-9 gcc-10 gcc-11 gcc-12
+        sudo apt install -y gcc-12
+        curl -sSf https://apt.llvm.org/llvm.sh | sudo bash -s -- 17 all
 
     - name: Install CWhy
       run: |