diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index b1d0add4c..b19f4fcc1 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: "16.0.6" + version: "16.0" directory: ${{ runner.temp }}/llvm - name: Install Z3