Update the linux workflow

cnheitman · Oct 25, 2023 · dda9bc2 · dda9bc2
1 parent 1e83067
commit dda9bc2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
@@ -30,7 +30,7 @@ jobs:
       - name: Install LLVM and Clang
         uses: KyleMayes/install-llvm-action@v1
         with:
-          version: "16.0.6"
+          version: "16.0"
           directory: ${{ runner.temp }}/llvm
 
       - name: Install Z3