Minor fix

plasma-umass · Oct 30, 2023 · ccef420 · ccef420
1 parent 4c7031c
commit ccef420
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/regression-generate.yml b/.github/workflows/regression-generate.yml
@@ -22,7 +22,7 @@ jobs:
     - name: Install dependencies
       run: |
         sudo apt update
-        sudo apt install -y gcc-12
+        sudo apt install -y cmake g++-12
         curl -sSf https://apt.llvm.org/llvm.sh | sudo bash -s -- 17 all
 
     - name: Install CWhy