From 1e8306721906c4293f760cf6b4f4b9e7079c9f75 Mon Sep 17 00:00:00 2001 From: Christian Heitman Date: Wed, 25 Oct 2023 11:17:28 -0300 Subject: [PATCH] Update the LLVM version in the linux workflow --- .github/workflows/linux.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index df3deb70e..b1d0add4c 100644 --- 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: "14.0" + version: "16.0.6" directory: ${{ runner.temp }}/llvm - name: Install Z3